diff -r 85b7d96978a1 -r 6a0c651cf507 .hgtags
--- a/.hgtags	Tue Oct 30 12:28:25 2018 +0100
+++ b/.hgtags	Tue Oct 30 12:28:25 2018 +0100
@@ -26,3 +26,4 @@
 3a3770308130c2b2810fa0372e5421d1176a9300 0.1.23
 9b174c5d1b704ab6b4243be8907c891e4ee8cb0d 0.1.24
 93d0fece5b1ed2924cb699e56f869358023a4c53 0.1.25
+85b7d96978a15c5011a2076710b6722a7d7c2a1f 0.1.25.1