--- a/.hgtags Thu Jul 13 11:04:49 2017 +0200
+++ b/.hgtags Thu Jul 13 11:04:50 2017 +0200
@@ -3,3 +3,4 @@
5713898178f3ea52e68b8a14bc1f473bc0f725a7 0.1.2
45ce94599ba1567e0186e725c3bb0679c9b4fda8 0.1.3
516461b95b6314466fce23e962fc50102f6beaab 0.1.4
+5c4c8b122f949eada387e810753dd1b977530698 0.1.5