diff -r 51a8362261a9 -r dfd422ad13d3 .hgtags
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Wed May 20 23:39:01 2020 +0200
@@ -0,0 +1,1 @@
+51a8362261a9f36843bcae33ae7fdca762702da9 v0.1