.hgtags
branchjv
changeset 1560 f5bbb3ee00cb
parent 1489 136d55757b10
--- a/.hgtags	Mon Jun 11 11:15:47 2018 +0100
+++ b/.hgtags	Mon Jul 02 08:46:00 2018 +0200
@@ -80,3 +80,4 @@
 fc519ebf52ae1a82cfa6908459b31e3cb1fa9ac9 rel3_4_3_1
 fdcbc952b19cca975d107d721ed4da2b20ce9468 expeccoNET_1_5_0rc1
 fdcbc952b19cca975d107d721ed4da2b20ce9468 expecco_1_8_2rc1
+36927a04ace3f407f18d37359521c67d90157a6d stx-8.0.0