Re: [boost] [release] Boost 1.85.0 Release Candidate 1 is available

On Apr 7, 2024, at 5:33 PM, Peter Dimov via Boost wrote:

Andrey Semashev wrote:

...

...

And it looks like it has been fixed in develop:

https://github.com/boostorg/program_options/commit/1d7cceff6c8a5d40593776d75...

...

Is that correct?

Yes, this commit should fix the problem. I will leave it to Peter to ask for the permission to merge it, if he considers it important enough.

If Marshall wants me to merge it, I'll merge it. :-)

Yes, please. — Marshall