diff -r 54b4a8372da3 -r a6a038a6ddcf .hgtags
--- a/.hgtags	Thu Jan 17 23:26:49 2019 +0100
+++ b/.hgtags	Fri Jan 18 20:26:30 2019 +0100
@@ -1,1 +1,2 @@
 392a0c048131dedd5c03ef789e88ad147feaf2c3 v0.8
+54b4a8372da37a94a76d4200e519a23f1e9400d1 v0.9