Re: [boost] [1.83][type_erasure] Permission to merge to master

On Jul 13, 2023, at 4:07 PM, Joaquín M López Muñoz via Boost wrote:

Hi, I’d like to merge this to master:

https://github.com/boostorg/type_erasure/compare/master...develop

This is a fix for issue #20:

https://github.com/boostorg/type_erasure/issues/20

Plus some CI machinery kindly provided by Peter Dimov. Tests pass 100% on develop.

Thank you,

Joaquín M López Muñoz

Go ahead. — Marshall