.hgtags
changeset 8205 6128f4e198d4
parent 8032 b401347cd0f0
child 8392 88c5c5f0be30
--- a/.hgtags	Tue Oct 17 14:18:54 2017 +0200
+++ b/.hgtags	Wed Oct 18 03:40:20 2017 +0000
@@ -32,6 +32,7 @@
 449abf3b7d08e4d07d920f5d916dc71db136ac24 expecco_head_5844
 4c4246ecbeb5f9f58e56b44ae6744531c55c2357 expecco_2_7_5
 4c4246ecbeb5f9f58e56b44ae6744531c55c2357 expecco_2_7_5a
+4cb858597bbff817330428b0f71860428cf02996 expecco_2_11_1
 4f874d66dbdeb98264f478fde031b4544cfeeaf7 expecco_1_8_0rc1
 4f8e9e2ec50b0ba9791f6a6e9e0f45bfd993b4d3 expecco_2_4_0
 4f8e9e2ec50b0ba9791f6a6e9e0f45bfd993b4d3 expecco_2_4_1