--- a/.hgtags	Wed Oct 30 16:47:43 2019 +0100
+++ b/.hgtags	Fri Jan 31 23:34:52 2020 +0100
@@ -5,3 +5,4 @@
 cbb9c5051c0a363fcf6ae2eec31b4489c5bd3727 v0.12
 7464556ac035c7e19e7ce0ae27a7de317f4fa6fb v0.13
 3ea2a5a2553180cc1c132fa451052e12b99d1a06 v0.14
+5d597eb0d29016d1ad14bbfa0a4a512a738a7d24 v0.15