From 88cf973e627cb87eb5a64f43a8143bded01bf9a9 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 e6daa5e6f0..98e77f887b 160000
--- a/rupicola
+++ b/rupicola
@@ -1 +1 @@
-Subproject commit e6daa5e6f08e20088caa550ebcb7a856711948d6
+Subproject commit 98e77f887b260157db2ec4d1cc0f950b179ada6e