--- a/.hgtags Wed Jul 12 14:25:07 2017 +0200 +++ b/.hgtags Wed Jul 12 14:25:08 2017 +0200 @@ -3,3 +3,4 @@ 25e455568b00e7aecaa8c1517ab6c753c80e1a2c 0.1.2 be3984675d3f75955e37ff5632906cd7a0c3fa9c 0.1.3 3e37d4dd8e3bb0a986be88ada10883751a53bade 0.1.4 +f30ee9996da9b6dfa41d35e46bb1b26301648009 0.1.5