From 6b0e43f89833666034e69b64c4ab01ff628e3e09 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:14:35 +0200
Subject: [PATCH] Adapt to coq/coq#17836 (sort poly) (update rupicola)

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

diff --git a/rupicola b/rupicola
index 6d4f40ca995..cc708ad8f6c 160000
--- a/rupicola
+++ b/rupicola
@@ -1 +1 @@
-Subproject commit 6d4f40ca995ed0fcb495c6ff3362f2d003a26432
+Subproject commit cc708ad8f6c71d230b1aad4ca59218df8e0091fd