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