8 Apr
2024
8 Apr
'24
12:19 a.m.
Marshall Clow wrote:
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/1d7cceff6c8a5d4059
3776d7578a984852df5b75
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.
Cherry-picked 1d7cceff6c8a5d40593776d7578a984852df5b75 to master.