--- a/.hgtags Thu Jun 08 11:03:12 2017 +0200 +++ b/.hgtags Thu Jun 08 11:03:23 2017 +0200 @@ -3,3 +3,4 @@ 1e65ba8b2bcf56f3b1b84a7f66f9635729f69488 0.1.2 de6720c4cf70399e2450adf6cd134ca378e5c829 0.1.3 bbe52bba4db91692aa8106e0d5379589eadf1cd4 0.1.4 +a9ef7fc88d492a67586898aee0f7742deb983ef0 0.1.5