Re: [release][multi_index] permission to merge to master

From: Glen Fernandes (glen.fernandes_at_[hidden])
Date: 2022-04-03 13:24:57

Go ahead and merge, thanks.

On Sun, Apr 3, 2022 at 9:17 AM Joaquin M López Muñoz via Boost
<boost_at_[hidden]> 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