Go ahead and merge, thanks. On Sun, Apr 3, 2022 at 9:17 AM Joaquin M López Muñoz via Boost wrote:

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