# HG changeset patch
# User Guido Berhoerster <guido+feed-preview@berhoerster.name>
# Date 1572271446 -3600
# Node ID d863a1c9be152c3607cad7f357aa15832cf7a1ae
# Parent  ca6140f82dc8f744ecd29e1325fd1e27a05dfaa7
Added tag version-10 for changeset ca6140f82dc8

diff -r ca6140f82dc8 -r d863a1c9be15 .hgtags
--- a/.hgtags	Mon Oct 28 15:02:29 2019 +0100
+++ b/.hgtags	Mon Oct 28 15:04:06 2019 +0100
@@ -7,3 +7,4 @@
 99f367e4a38a2e56191632e372db88448d55eac6 version-7
 f4e8aa4d50dad774bac42b75b0fd60cc669fc3d6 version-8
 6bdf862c6b2ad877a9b1610d0519dbd04b1b7f4a version-9
+ca6140f82dc8f744ecd29e1325fd1e27a05dfaa7 version-10