--- a/.hgtags	Tue Jun 26 09:35:02 2018 +0100
+++ b/.hgtags	Mon Jul 02 08:46:01 2018 +0200
@@ -80,3 +80,4 @@
 fc393425a6911a932e1f51bb2a23256f77105918 expecco_ALM_1_9_6
 fe4542d78ad8c0c17412e515e0fe8772531c9132 expecco_2_2_0
 fe4542d78ad8c0c17412e515e0fe8772531c9132 expecco_2_2_5
+599f4560a90785d294f4b8a23a43137ce8557c98 stx-8.0.0