From 3dc75830e7c12347d91319a4e34a7dab04f6c2fb Mon Sep 17 00:00:00 2001 From: Matthew Andres Moreno Date: Fri, 19 Apr 2024 16:08:24 -0400 Subject: [PATCH 1/2] Bump robin-hood hashing pin --- third-party/robin-hood-hashing | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/third-party/robin-hood-hashing b/third-party/robin-hood-hashing index 8a8dc15c7..769734336 160000 --- a/third-party/robin-hood-hashing +++ b/third-party/robin-hood-hashing @@ -1 +1 @@ -Subproject commit 8a8dc15c7f805c1b50b3d4c13aa391008687fcfd +Subproject commit 7697343363af4cc3f42cab17be49e6af9ab181e2 From a2b77f13f5e957b5371a1cab0fc136966a7d19a8 Mon Sep 17 00:00:00 2001 From: Matthew Andres Moreno Date: Fri, 19 Apr 2024 17:20:11 -0400 Subject: [PATCH 2/2] Try pinning earliner non-auxv.h commit --- third-party/robin-hood-hashing | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/third-party/robin-hood-hashing b/third-party/robin-hood-hashing index 769734336..0eee6c3ba 160000 --- a/third-party/robin-hood-hashing +++ b/third-party/robin-hood-hashing @@ -1 +1 @@ -Subproject commit 7697343363af4cc3f42cab17be49e6af9ab181e2 +Subproject commit 0eee6c3ba79e7bfa3b5b9c8123f9d3a8e65fa9e6