diff -r a5ad7cd5d000 -r 0e4a9b6f7a12 .hgtags
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgtags	Mon Aug 09 16:58:38 2021 +0200
@@ -0,0 +1,1 @@
+a5ad7cd5d0003eb278d99e9ba7edf71de1b65fbb v0.6