--- 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