Re: [boost] [release] Boost 1.80.0 beta 1 released

On Thu, Jul 14, 2022 at 5:21 AM Andrey Semashev via Boost wrote:

I would like to merge the following change to Boost.Utility master:

https://github.com/boostorg/utility/commit/581654e4087ca3c4e15d1f0e0b521fbd4...

Go ahead.