diff -r 93d0fece5b1e -r 617ff1bbc7ce .hgtags
--- a/.hgtags	Fri Oct 26 10:01:41 2018 +0200
+++ b/.hgtags	Fri Oct 26 10:01:42 2018 +0200
@@ -25,3 +25,4 @@
 fd4b666b50481edad38ee08ca8e1e12389e99ea4 0.1.22
 3a3770308130c2b2810fa0372e5421d1176a9300 0.1.23
 9b174c5d1b704ab6b4243be8907c891e4ee8cb0d 0.1.24
+93d0fece5b1ed2924cb699e56f869358023a4c53 0.1.25