[release 1.83][flyweight] permission to merge

From: Joaquin M López Muñoz (joaquinlopezmunoz_at_[hidden])
Date: 2023-07-01 17:06:16

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

Thank you,

Joaquín M López Muñoz