| changeset 496 | 2fa2d7d8a34f |
| parent 490 | 836e311fb17d |
| child 500 | 33862249f3d7 |
--- a/.hgtags Wed May 03 15:09:02 2017 +0200 +++ b/.hgtags Wed May 03 15:09:11 2017 +0200 @@ -50,3 +50,4 @@ 1b9ce022efe9f8e7b1705e4eba0ff5525bb2ffa8 0.0.22 06444279ec3708be6f3129c422824c2df48d853d 0.0.23 0d0e39e9c37cba0dd07554c63e4ec4da1d6e26d6 0.0.24 +df9ca34f212235bea153d6da02af40e37bb16520 0.0.25