diff -r 10812b2ba33a -r a05d4ccf5441 .hgtags
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Tue Jun 06 15:10:11 2017 +0200
@@ -0,0 +1,1 @@
+10812b2ba33a9a0c7836bf9e4c4e5842d2de4f39 0.1.0