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

From: Marshall Clow (mclow.lists_at_[hidden])
Date: 2023-07-14 02:56:08

On Jul 13, 2023, at 4:07 PM, Joaquín M López Muñoz via Boost <boost_at_[hidden]> 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