From b9a9be27953c40262dec6f188c9ec38c2b7b9985 Mon Sep 17 00:00:00 2001
From: SChernykh <sergey.v.chernykh@gmail.com>
Date: Fri, 4 Nov 2022 10:35:25 +0100
Subject: [PATCH] Update robin-hood-hashing

---
 external/src/robin-hood-hashing | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/external/src/robin-hood-hashing b/external/src/robin-hood-hashing
index 7f87d77..4213dd1 160000
--- a/external/src/robin-hood-hashing
+++ b/external/src/robin-hood-hashing
@@ -1 +1 @@
-Subproject commit 7f87d77122d15f76519f2b03f5455df98758e764
+Subproject commit 4213dd109f03b49c68b52074d929e6f221803bed