diff -r 609a3f4b3c27 -r eddfb2cd3793 .hgtags --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/.hgtags Fri Jan 11 19:28:49 2019 +0200 @@ -0,0 +1,1 @@ +609a3f4b3c27f2179a4dacf81ee8f04c9e1a33d4 0.7.0