| changeset 579 | f5f87265d339 |
| parent 577 | 5c37591dd87d |
| child 581 | aa42b24a3168 |
--- a/.hgtags Wed Aug 01 18:29:40 2018 +0200 +++ b/.hgtags Wed Aug 01 18:30:05 2018 +0200 @@ -73,3 +73,5 @@ 4233169235277eac360d9865c1f05bd1364f21ef 0.1.6 ad370eb2b020c4b975b5f322b0077cdd06671c9d 0.1.7 68ea0b0633088e5d013a049ac060742362be78af 0.1.8 +68ea0b0633088e5d013a049ac060742362be78af 0.1.8 +4285827101e307839d2965dd88c41a21889f28ad 0.1.8