Re: [config] Merging 'develop' to 'master' before the 1.73 release

From: Edward Diener (eldiener_at_[hidden])
Date: 2020-03-23 21:23:00

On 3/23/2020 5:09 PM, John Maddock via Boost wrote:
> 
> On 23/03/2020 19:33, Edward Diener via Boost wrote:
>> Are the changes in config's 'develop' branch going to be merged to the 
>> 'master' branch before the 1.73 release ? 
> 
> Done.

Thanks very much ! Would you take a look at the PR 
https://github.com/boostorg/config/pull/327 when you have the time. I do 
not mean this PR for the coming release, but a number of other PRs for 
the 'develop' ranch will depend on it.