Fix optional::emplace()#126

Merged

JBenda merged 1 commit into

JBenda:masterfrom

Nov 9, 2025

Commits on Nov 8, 2025

Fix optional::emplace(), which wasn't marking the newly-constructed
willvale
committed