.hgtags
changeset 4525 fb4aab327154
parent 4371 82dcd8cbb5f2
child 4684 ff36941bf941
--- a/.hgtags	Sat Oct 21 15:25:38 2017 +0200
+++ b/.hgtags	Sun Oct 22 03:38:46 2017 +0000
@@ -69,6 +69,7 @@
 ad45905bc58bae93ee5af2ef1130ca114daa261e expecco_2_6_2
 b2f07d68255462f98a2273b87c4d40812cb82833 expecco_2_6_1
 b9bd75905d107b0763bc51480bab364a7e6165ac expecco_2_11_0
+b9bd75905d107b0763bc51480bab364a7e6165ac expecco_2_11_1
 c2e0b4299f9e5d89cd89e22ec7f473abc9bed05a rel2_10_8_6_last2
 c31412b263066de0aaf2f1d0f99b142f938d5fd3 rel3_6_4
 c42bd6118058a3f6b8ad911ce60733c571cf42f1 expecco_1_7_2rc1