diff -r b81bff3ebc4c -r a6337902e2ca .hgtags
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Sat Jun 06 01:50:42 2020 +0200
@@ -0,0 +1,1 @@
+b81bff3ebc4ced18b7ed358ece5dee47e1e3c8ec v0.16