--- a/.hgtags	Wed Oct 30 16:47:42 2019 +0100
+++ b/.hgtags	Fri Jan 31 23:34:51 2020 +0100
@@ -4,3 +4,4 @@
 60183af4604e0573d45f20af10866c3837db5918 v0.12
 3a41c46e8286c88d8f21db26978839febb366502 v0.13
 56c84049698d8562c28024b94ac954a9196cbecb v0.14
+371186f1d67660e55f9e9901ea1a6186865f8c7b v0.15