--- a/.hgtags	Wed Oct 30 16:47:44 2019 +0100
+++ b/.hgtags	Fri Jan 31 23:34:53 2020 +0100
@@ -5,3 +5,4 @@
 86b3d66d23aa5786f72bd81e72a3eef3042de23a v0.12
 e0674e028bd047feaf544d86dee39ae83bf77dde v0.13
 5105357e9b475364c5ea01bdb3d97b295c0bdefd v0.14
+05fd16bcff3d21ae8aa43ceccee0ffb4d675367f v0.15