diff --git a/.gitmodules b/.gitmodules
index 16e1d989c4..b74f11672c 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -61,3 +61,6 @@
 [submodule "robin-map"]
 	path = externals/robin-map
 	url = https://github.com/Tessil/robin-map.git
+[submodule "externals/robin-map"]
+	path = externals/robin-map
+	url = https://github.com/Tessil/robin-map.git
diff --git a/externals/robin-map b/externals/robin-map
new file mode 160000
index 0000000000..0430aee4df
--- /dev/null
+++ b/externals/robin-map
@@ -0,0 +1 @@
+Subproject commit 0430aee4df9d213ed5be24ad0a5006eb30b95cdd