# HG changeset patch
# User Guido Berhoerster <guido+pui@berhoerster.name>
# Date 1717948402 -7200
# Node ID e1ea4e1ce17ce863d3435c7f20583150df0540e3
# Parent  527d2ecef3bdbe95ea8ac73545b8069364631437
Added tag version-9 for changeset 527d2ecef3bd

diff -r 527d2ecef3bd -r e1ea4e1ce17c .hgtags
--- a/.hgtags	Sun Jun 09 17:53:21 2024 +0200
+++ b/.hgtags	Sun Jun 09 17:53:22 2024 +0200
@@ -6,3 +6,4 @@
 3d130c34ff977f8a3d051c35ff2de91b94856f13 version-6
 0d4bb2f8908ae8c411c24813f60825244e39197c version-7
 e3fc9db49d36656405684d483fc2f03d2ba67f0a version-8
+527d2ecef3bdbe95ea8ac73545b8069364631437 version-9