diff -r 5b03b8ede7e1 -r ae3f0b0e7ab6 .hgtags
--- a/.hgtags	Thu Dec 20 00:26:00 2018 +0100
+++ b/.hgtags	Fri Jan 18 20:26:32 2019 +0100
@@ -1,1 +1,2 @@
 3d5b5a7c56ab7d7d83123ccf28555627c1f6c9b8 v0.8
+5b03b8ede7e14015ab283b8c3e3e5f1cd74409ae v0.9