From cc708ad8f6c71d230b1aad4ca59218df8e0091fd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= <gaetan.gilbert@skyskimmer.net>
Date: Mon, 18 Sep 2023 13:05:21 +0200
Subject: [PATCH] dapt to coq/coq#17836 (sort poly) (update bedrock2)

---
 bedrock2 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bedrock2 b/bedrock2
index b36804f4..ab8444de 160000
--- a/bedrock2
+++ b/bedrock2
@@ -1 +1 @@
-Subproject commit b36804f405bde94216630084ca52fc6e177c682b
+Subproject commit ab8444de58496e00efb9b41c1b3d740071b10bda