# HG changeset patch
# User Guido Berhoerster <guido+feed-preview@berhoerster.name>
# Date 1605623510 -3600
# Node ID 47b46f51aa5a60f7e765616430749735fc027095
# Parent  b1d22243ef1f7f6a3946217a07dec52540c168e0
Added tag version-12 for changeset b1d22243ef1f

diff -r b1d22243ef1f -r 47b46f51aa5a .hgtags
--- a/.hgtags	Tue Nov 17 15:31:04 2020 +0100
+++ b/.hgtags	Tue Nov 17 15:31:50 2020 +0100
@@ -9,3 +9,4 @@
 6bdf862c6b2ad877a9b1610d0519dbd04b1b7f4a version-9
 ca6140f82dc8f744ecd29e1325fd1e27a05dfaa7 version-10
 1ba6df18301e498ceef56ee2def89c1d94807ea7 version-11
+b1d22243ef1f7f6a3946217a07dec52540c168e0 version-12