diff -r d8f0ec177ecc -r c30e134cfb73 .hgtags
--- a/.hgtags	Wed Dec 05 16:39:49 2018 +0100
+++ b/.hgtags	Wed Dec 05 16:39:59 2018 +0100
@@ -12,3 +12,5 @@
 85506e4365c584b9fc497bf218499c989e2752a8 0.1.2
 0000000000000000000000000000000000000000 0.1.3
 0c3173d06f3f75a2c7a795917755c37afc1bb960 0.1.3
+0000000000000000000000000000000000000000 0.1.4
+0f5d1fa99b9fde7a20b54f57c0ed638580873a72 0.1.4