[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
14 Jul
14 Jul
2:56 a.m.
On Jul 13, 2023, at 4:07 PM, Joaquín M López Muñoz via Boost
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
502
Age (days ago)
503
Last active (days ago)
1 comments
2 participants
participants (2)
-
Joaquín M López Muñoz -
Marshall Clow