Request to merge a fix to Boost.Core
26 Jul
2023
26 Jul
'23
7:13 a.m.
May I please merge the following fix https://github.com/boostorg/core/commit/c7134904e27237dbbb81ba28f0f23fc365b0... 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.
26 Jul
26 Jul
1:45 p.m.
On Jul 26, 2023, at 12:13 AM, Peter Dimov via Boost
May I please merge the following fix
https://github.com/boostorg/core/commit/c7134904e27237dbbb81ba28f0f23fc365b0...
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
473
Age (days ago)
473
Last active (days ago)
1 comments
2 participants
participants (2)
-
Marshall Clow -
Peter Dimov