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