mirror of
https://github.com/boostorg/config.git
synced 2026-05-04 11:54:15 +02:00
153063cbe1
Fixes https://github.com/boostorg/config/issues/283. [CI SKIP]