| changeset 568 | 770dfea6fbef |
| parent 564 | a1c75f3e0bc7 |
| child 571 | 0acc94352428 |
--- a/.hgtags Mon Jul 20 14:06:34 2020 +0200 +++ b/.hgtags Mon Jul 20 14:06:34 2020 +0200 @@ -51,3 +51,4 @@ fdfc4ac82db7862dfccf2058bc56a5c60658bd3e 0.1.38 1ee4e482bfe7f4d2e820c538f68f2cb82b7e0551 0.1.39 5184d89c6bd3b2313a5d118d4ede7f359fef63c7 0.1.39.1 +bca1726b1d85ba55e2da22874a5fce2e431bc9de 0.1.40