--- a/.hgtags	Wed Jun 13 14:39:23 2018 +0000
+++ b/.hgtags	Mon Jul 02 08:46:00 2018 +0200
@@ -85,3 +85,4 @@
 fa834a81a55cbd6f9bdef9ae92ea3bb38879d4bf expecco_2_2_0
 fee0dd6ff6713f508c998e49112cfef93a2fc788 expecco_2_7_0
 fee0dd6ff6713f508c998e49112cfef93a2fc788 expecco_2_7_0_49
+77cd6e1625e1f39c641e6fc1df77aca52b8250ac stx-8.0.0