.hgtags
changeset 6157 76faefed2bc1
parent 6145 e1001b131b15
child 6160 565b2848ae16
--- a/.hgtags	Wed May 17 16:42:26 2017 +0200
+++ b/.hgtags	Thu May 18 03:35:50 2017 +0000
@@ -66,6 +66,7 @@
 bd0991615b0468aca194ec20b8f3c52def830e1c rel5_2_8
 cd233176270ecce4efeed16af45f8a6c96724936 expecco_ALM_1_10_0
 cd233176270ecce4efeed16af45f8a6c96724936 expecco_ALM_1_10_0_8
+cd233176270ecce4efeed16af45f8a6c96724936 expecco_ALM_1_11_0
 cf1c977cab9dbedc39ddf7c286acf503d08a4aac rel5_1_3
 cf1c977cab9dbedc39ddf7c286acf503d08a4aac stx_513
 d3a015f9d5ddf94a37982030fe98a23928ca92e7 expecco_1_7_2rc1