--- a/.hgtags	Wed Jul 12 14:21:04 2017 +0200
+++ b/.hgtags	Wed Jul 12 14:21:04 2017 +0200
@@ -7,3 +7,4 @@
 fa473731d5c7185a3320cca691398b8dea31a3dd 0.1.2.1
 0000000000000000000000000000000000000000 0.1.3
 3cdaebcaf5a5232635173127300e7f67469e6185 0.1.3
+1d180eb3d4d5e910193e53654d8ea42f3ad2714f 0.1.4