diff -r 8487f9c9fab0 -r 959004d2c3e3 .hgtags
--- a/.hgtags	Fri Oct 05 15:50:09 2018 +0200
+++ b/.hgtags	Fri Oct 05 15:50:09 2018 +0200
@@ -13,3 +13,4 @@
 5f42c1b3365f65bf382468b3b64d62d9bb02be0b 0.1.12
 1e564afe43a4dcdb43a676e413f4615a3b1ae66b 0.1.13
 8a5e91854574d7af19efbc9801b774c98f7b0f6b 0.1.14
+8487f9c9fab0f0de738360cf0d93fb3e5bfc3a0f 0.1.15