diff -r 0a47ffc8b73b -r 8f90dcfd0439 .hgtags
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Tue Sep 05 11:42:08 2017 +0200
@@ -0,0 +1,1 @@
+02d3e4b1245f88b07ac443dece2caab2ee572628 v1.0.0