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