diff --git a/external/type_safe b/external/type_safe index c9ca37c..4fc976c 160000 --- a/external/type_safe +++ b/external/type_safe @@ -1 +1 @@ -Subproject commit c9ca37cc770a2dccc1483453742c54136b992760 +Subproject commit 4fc976c3b213e139729faacf2796a93d750503a1