Boost logo

Boost :

From: Peter Dimov (pdimov_at_[hidden])
Date: 2024-04-07 22:33:05


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. :-)


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