Boost logo

Boost :

From: Marshall Clow (mclow.lists_at_[hidden])
Date: 2023-07-26 13:45:16


On Jul 26, 2023, at 12:13 AM, Peter Dimov via Boost <boost_at_[hidden]> wrote:
>
> May I please merge the following fix
>
> https://github.com/boostorg/core/commit/c7134904e27237dbbb81ba28f0f23fc365b079dd
>
> to address issue
>
> https://github.com/boostorg/core/issues/150
>
> ?
>
> I can't verify that the fix actually works, but it doesn't affect non-Android platforms,
> so can't make things any worse.

I see that Marcel has verified that it works.

Go ahead.

— Marshall


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