--- a/.hgtags	Mon Sep 11 15:06:56 2017 +0200
+++ b/.hgtags	Mon Sep 11 15:06:56 2017 +0200
@@ -8,3 +8,4 @@
 0000000000000000000000000000000000000000 0.1.3
 3cdaebcaf5a5232635173127300e7f67469e6185 0.1.3
 1d180eb3d4d5e910193e53654d8ea42f3ad2714f 0.1.4
+d2bf5c868ce2e39f3882f369e3ec7838d16d1d9d 0.1.5