--- a/.hgtags Wed Jul 12 14:17:54 2017 +0200 +++ b/.hgtags Wed Jul 12 14:17:54 2017 +0200 @@ -3,3 +3,4 @@ 8c6c68da351a9519a7be14e23ee5d14a1c25504b 0.1.2 cdc30169fac1e436108a00982b1b065eaade747b 0.1.3 b891b49b1d3f69cc6758dd15773abbc353de1d0e 0.1.4 +4cbe2708a397ad1abc544239f885c3734e422f13 0.1.5