3 Apr
2022
3 Apr
'22
1:24 p.m.
Go ahead and merge, thanks.
On Sun, Apr 3, 2022 at 9:17 AM Joaquin M López Muñoz via Boost
Hi, the following PR is absolutely trivial
https://github.com/boostorg/multi_index/pull/57
but seems like it's important to Bitcoin guys in connection with an effort to prune internal Boost dependencies they're carrying out.
Can I merge to master or should I wait till Boost 1.80?
Thank you,
Joaquín M López Muñoz
_______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost