13 Jul
2023
13 Jul
'23
11:07 p.m.
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