.hgtags
changeset 6189 bc3a4ceccc3f
parent 6074 fa8d5ddc7b14
child 6202 1210bedcb80a
--- a/.hgtags	Wed Nov 27 12:30:32 2019 +0100
+++ b/.hgtags	Thu Nov 28 04:27:42 2019 +0000
@@ -4,6 +4,7 @@
 08e3afdffc2b1395544ec29047e1c22fe1970f0b expecco_2_2_5
 0a09fd78eb548312ea9859bc7d94221d809baaa1 rel5_2_1
 0e03635f5ced635c5f6c9dcaa13702c1bfc0fea5 stable_expecco_sel
+16ec62661cb42989b14c2cf0696e54e2db7213ee expecco_19_2_0
 1ab5dc7d479627c3fe8b4e48bf09a55a10cede6e rel5_1_3
 1ab5dc7d479627c3fe8b4e48bf09a55a10cede6e stx_513
 250f9f98b4076066ff1b9287375e5c29b702227e expecco_1_3_4