Sat, 03 Feb 2018 17:10:00 +0100
Created global tag <release-0.9.9>.
diff -r 11732bdf5b26 -r 8ebcf708f654 .hgtags --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/.hgtags Sat Feb 03 17:10:00 2018 +0100 @@ -0,0 +1,1 @@ +11732bdf5b269032fae641a695f881cbd0a02eeb release-0.9.9