Remove accidental update of coloquinte

2023-10-10 14:08:17 +01:00 · 2023-10-10 14:08:17 +01:00 · 708995e5c9
parent 4fb7424cea
commit 708995e5c9
1 changed files with 1 additions and 1 deletions
--- a/subprojects/coloquinte
+++ b/subprojects/coloquinte
@ -1 +1 @@
-Subproject commit afa06f4446a5e52c732b5b77ea0dbb0549e7899d
+Subproject commit 9b872a838e2a16bfa8b46d18abbe4247e7253ee5