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

El 01/07/2023 a las 21:01, Marshall Clow escribió:

On Jul 1, 2023, at 10:06 AM, Joaquin M López Muñoz via Boost 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/3dc485bfe8726eabebf7c0f055cadcc... https://github.com/boostorg/flyweight/commit/137686b0baee3d1a048bf2a2776c0ab... https://github.com/boostorg/flyweight/commit/e9f326b1adf0ed825bc7ff10b3f832c...

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.

Done, Joaquín M López Muñoz