From 1e3539537da7d545b71924ca94784d499ce10c97 Mon Sep 17 00:00:00 2001 From: Ryan Houdek Date: Sun, 18 Aug 2024 12:38:24 -0700 Subject: [PATCH] External: Update robin-map from 1.2.1 to 1.3.0 Carrying forward our patch to remove their static initializer. --- External/robin-map | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/External/robin-map b/External/robin-map index f1ab69004..d5683d9f1 160000 --- a/External/robin-map +++ b/External/robin-map @@ -1 +1 @@ -Subproject commit f1ab6900466891af11e3c264c63acf1dd9c3532c +Subproject commit d5683d9f1891e5b04e3e3b2192b5349dc8d814ea