--- a/.hgtags Wed Jun 07 09:29:06 2017 +0200
+++ b/.hgtags Wed Jun 07 09:29:14 2017 +0200
@@ -2,3 +2,4 @@
3ee119b3968fc678911330841d63b691fb1a75af 0.1.2
65cc4b5321c024597b74bafc404eaece4b12db98 0.1.3
c7c0dfb8b1f7c626818d79213d9026dd135567f0 0.1.4
+04a238453198739cbdc4b9d0070c353ff021e1ca 0.1.5