Boost logo

Boost :

From: Peter Dimov (pdimov_at_[hidden])
Date: 2024-04-08 00:19:22


Marshall Clow wrote:
> 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/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.


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