diff -r ae3f0b0e7ab6 -r 07c5ee7deda2 .hgtags
--- a/.hgtags	Fri Jan 18 20:26:32 2019 +0100
+++ b/.hgtags	Wed Feb 20 11:30:51 2019 +0100
@@ -1,2 +1,3 @@
 3d5b5a7c56ab7d7d83123ccf28555627c1f6c9b8 v0.8
 5b03b8ede7e14015ab283b8c3e3e5f1cd74409ae v0.9
+ae3f0b0e7ab685d505f735ef8a43ea8a370e8741 v0.10