[1.83][type_erasure] Permission to merge to master
14 Jul
2023
14 Jul
'23
1:07 a.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
4:56 a.m.
On Jul 13, 2023, at 4:07 PM, Joaquín M López Muñoz via Boost <boost@lists.boost.org> 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
840
Age (days ago)
841
Last active (days ago)
1 comments
2 participants
participants (2)
-
Joaquín M López Muñoz -
Marshall Clow