diff -r 5df53dbacc2e -r 3581b322dee5 .hgtags
--- a/.hgtags	Tue Oct 30 12:31:12 2018 +0100
+++ b/.hgtags	Tue Oct 30 12:31:12 2018 +0100
@@ -33,3 +33,4 @@
 56cbd405769f11a6861e7fc8dcc696aafaf0307a 0.1.22
 b371683a9aa7df8e45566023574607672467f555 0.1.23
 18aaa69eee31629d77a23466cec72cfdad9f5bd8 0.1.24
+5df53dbacc2e03f12d8bad9909d336b69f591adb 0.1.25