# HG changeset patch
# User Guido Berhoerster <guido+feed-preview@berhoerster.name>
# Date 1588766051 -7200
# Node ID d72fadc79eadd3b8017c4aa5b804647754617d9e
# Parent  1ba6df18301e498ceef56ee2def89c1d94807ea7
Added tag version-11 for changeset 1ba6df18301e

diff -r 1ba6df18301e -r d72fadc79ead .hgtags
--- a/.hgtags	Wed May 06 13:53:20 2020 +0200
+++ b/.hgtags	Wed May 06 13:54:11 2020 +0200
@@ -8,3 +8,4 @@
 f4e8aa4d50dad774bac42b75b0fd60cc669fc3d6 version-8
 6bdf862c6b2ad877a9b1610d0519dbd04b1b7f4a version-9
 ca6140f82dc8f744ecd29e1325fd1e27a05dfaa7 version-10
+1ba6df18301e498ceef56ee2def89c1d94807ea7 version-11