[1.83][type_erasure] Permission to merge to master
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
679
Age (days ago)
680
Last active (days ago)
1 comments
2 participants
participants (2)
-
Joaquín M López Muñoz -
Marshall Clow