# HG changeset patch
# User Guido Berhoerster <guido+tab-mover@berhoerster.name>
# Date 1617877564 -7200
# Node ID a989d7edee02e924a5f42403e46968fc1300f72c
# Parent  df8ade6f65c4b4b5b461388643b482720940471a
Added tag version-9 for changeset df8ade6f65c4

diff -r df8ade6f65c4 -r a989d7edee02 .hgtags
--- a/.hgtags	Thu Apr 08 12:26:03 2021 +0200
+++ b/.hgtags	Thu Apr 08 12:26:04 2021 +0200
@@ -6,3 +6,4 @@
 b5cf923727b745240a87ab9f42e58c4a6a048517 version-6
 fa504a211b26353a8851f0a91b9ea7b976edfe39 version-7
 b1b1f273724970160b1a79c1dad629f4b65bf561 version-8
+df8ade6f65c4b4b5b461388643b482720940471a version-9