[1.83][type_erasure] Permission to merge to master

From: Joaquín M López Muñoz (joaquinlopezmunoz_at_[hidden])
Date: 2023-07-13 23:07:21

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