mirror of
https://github.com/boostorg/optional.git
synced 2026-02-01 11:09:24 +01:00
This should avoid duplicating none instances in all translation units. Closes https://github.com/boostorg/optional/issues/33.
This should avoid duplicating none instances in all translation units. Closes https://github.com/boostorg/optional/issues/33.