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

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. — Marshall