Remove ext::optional shim; use std::optional directly#4

Open

tobydrinkall wants to merge 2 commits into

devin/1780666109-remove-optional-shim

Commits on Jun 5, 2026

Remove ext::optional shim; use std::optional directly

devin-ai-integration[bot]
and
tobydrinkall
committed
Remove optional.hpp from ql/Makefile.am (missed tab-indented line)

devin-ai-integration[bot]
and
tobydrinkall
committed