Boost logo

Boost :

From: Marshall Clow (mclow.lists_at_[hidden])
Date: 2024-04-08 00:09:11


On Apr 7, 2024, at 5:33 PM, Peter Dimov via Boost <boost_at_[hidden]> wrote:
>
> Andrey Semashev wrote:
>>> And it looks like it has been fixed in develop:
>>>
>>>
>>>
>> https://github.com/boostorg/program_options/commit/1d7cceff6c8a5d40593776d7578a984852df5b75
>>>
>>> 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


Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk