--- 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