--- a/.hgtags Fri Oct 13 10:22:24 2017 +0200 +++ b/.hgtags Fri Oct 13 10:22:24 2017 +0200 @@ -3,3 +3,4 @@ 4d9c23cdfa8203cfee2252b46ed6384002284f97 0.1.2 ec814fadbd27601da983dac92b35d69a35c1c3bb 0.1.3 93339eaa318b2e53906b8a69025f08d18ebd92a6 0.1.4 +8f3ce51a13b89c98be6f3e17ab16ac60104ced8e 0.1.5