diff -r 532cb52f120b -r 148728a602d3 .hgtags
--- a/.hgtags	Tue Sep 18 16:19:23 2018 +0200
+++ b/.hgtags	Tue Sep 18 16:19:23 2018 +0200
@@ -12,3 +12,4 @@
 0da5847db3a4ff099a8c2df86ea79cf7957117b1 0.1.12
 08ed24d0f2e9a889878fa47ec47c2ee19cea2319 0.1.13
 f0aa1e1e3bbf1c7759f9fb815a782af0ea9b0f28 0.1.14
+532cb52f120b843f8626d716b24735a3aebd1137 0.1.15