Skip to content

Remove ext::optional shim — migrate to std::optional#7

Open
tobydrinkall wants to merge 2 commits into
masterfrom
devin/1780676112-migrate-ext-optional-to-std
Open

Remove ext::optional shim — migrate to std::optional#7
tobydrinkall wants to merge 2 commits into
masterfrom
devin/1780676112-migrate-ext-optional-to-std

Commits

Commits on Jun 5, 2026