--- a/.hgtags Wed Jun 07 10:07:04 2017 +0200
+++ b/.hgtags Wed Jun 07 10:07:10 2017 +0200
@@ -2,3 +2,4 @@
6bfe7ef2f45eeb7bc6d5711650755d076cf063a1 0.1.1
5713898178f3ea52e68b8a14bc1f473bc0f725a7 0.1.2
45ce94599ba1567e0186e725c3bb0679c9b4fda8 0.1.3
+516461b95b6314466fce23e962fc50102f6beaab 0.1.4