| changeset 190 | 5f56e726bb69 |
| parent 183 | 68d1914411ab |
| child 193 | ffc2bf41e1cf |
--- a/.hgtags Thu Sep 26 11:54:28 2019 +0200 +++ b/.hgtags Thu Sep 26 11:54:28 2019 +0200 @@ -25,3 +25,4 @@ 9f092b6dfd28b9645fe9c68d9a604efd4b6d161e 0.1.23 e9de5679c66fdcd286c9e71c69a32b83b538532a 0.1.23.1 349100f5754196ad4aa4667511e6910303d411d8 0.1.24 +8decb05718fe069a944aee5f5447ef0cbffcfd7f 0.1.25