mirror of
https://github.com/boostorg/config.git
synced 2026-07-08 17:30:45 +02:00
8aa8d541b3
See https://github.com/boostorg/config/commit/8dcea4d78c7a9bd07322015d541fb76c77e33022#commitcomment-35718928.