Updated submodule extern/rich

justo46 · justo46 · commit 65d1c12d0235 · 2023-08-20T22:45:59.000+02:00
diff --git a/extern/rich b/extern/rich
@@ -1 +1 @@
-Subproject commit 3734ff45d7b30541aabdd656efb80c9896d445b3
+Subproject commit 720800e6930d85ad027b1e9bd0cbb96b5e994ce3
