mirror of
https://github.com/boostorg/optional.git
synced 2026-02-03 22:05:15 +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.