--- a/.hgtags	Mon Jun 11 09:59:25 2018 +0200
+++ b/.hgtags	Mon Jun 11 16:13:37 2018 +0200
@@ -15,3 +15,4 @@
 417296f4bfab831c918720a17737e30cda2bd933 0.1.12
 aedd98145b972474f1d68a6fa87653faaf4f7ea3 0.1.13
 f7e43a680f4221fc00ca3c8ed779e772a46961d1 0.1.14
+0b5f84d9eff4d94ae88078b157148fbda6aa7a58 0.1.15