Re: [release 1.83][flyweight] permission to merge

From: Marshall Clow (mclow.lists_at_[hidden])
Date: 2023-07-01 19:01:27

On Jul 1, 2023, at 10:06 AM, Joaquin M López Muñoz via Boost <boost_at_[hidden]> wrote:
> 
> Hi,
> 
> Not sure I need to request explicit permission, but in any case I'd like to merge the
> following commits on flyweight/develop to flyweight/master:
> 
> https://github.com/boostorg/flyweight/commit/3dc485bfe8726eabebf7c0f055cadcc1ebbe4004
> https://github.com/boostorg/flyweight/commit/137686b0baee3d1a048bf2a2776c0abeb6d37d3b
> https://github.com/boostorg/flyweight/commit/e9f326b1adf0ed825bc7ff10b3f832ccc2d0a763
> 
> This solves the following issue, which is in fact a regression:
> 
> https://github.com/boostorg/flyweight/issues/12

The current state is:
        Release closed for major code changes.
        Still open for serious problem fixes and docs changes without release manager review.

This sounds like this qualifies.

Go ahead.

— Marshall