--- a/.hgtags	Mon Jun 11 16:00:45 2018 +0200
+++ b/.hgtags	Mon Jun 11 16:00:45 2018 +0200
@@ -13,3 +13,4 @@
 2ed1f847c318ccbb6de5bef7b07f0839c7088389 0.1.12
 f58edd0e42b81a43ecbf18e6641188a6baed6a8a 0.1.13
 6de807f76c67fe21c7dc8cccca5fc83823c848e2 0.1.14
+0c7bead9f062af03bea959e1e0dc363a829c527f 0.1.15