| changeset 202 | 66ebfde2a058 |
| parent 195 | d89a3a7e3eca |
| child 205 | a6e1d18bde08 |
--- a/.hgtags Fri Oct 05 15:49:10 2018 +0200 +++ b/.hgtags Fri Oct 05 15:49:10 2018 +0200 @@ -20,3 +20,4 @@ 3c98f3d40a6ad9604d7a375dc082b9c21d980185 0.1.15 a61b63b717186aee1323ad440a3034d94a04f771 0.1.16 08a86e82f5415fcae668b607b020a8624802fb3f 0.1.16.1 +6b6236f258abc03ef4f62fc79ffd5628e2eda833 0.1.17