diff -r 7b2ec89e3898 -r 477f552632af .hgtags --- a/.hgtags Fri Dec 14 18:32:37 2018 +0100 +++ b/.hgtags Fri Dec 14 18:32:37 2018 +0100 @@ -29,3 +29,4 @@ dd5bb00e9b2b3b1f64b6ef4769cdfc1d4ab6cf5a 0.1.24.1 dd5bb00e9b2b3b1f64b6ef4769cdfc1d4ab6cf5a 0.1.24.1 4d43f1685b4e55ddaa877e565b21282b8904a80d 0.1.24.1 +7b2ec89e38983526f0b1daee5260b613bd9ad7e8 0.1.25