--- a/.hgtags Wed Oct 30 16:47:42 2019 +0100
+++ b/.hgtags Fri Jan 31 23:34:51 2020 +0100
@@ -5,3 +5,4 @@
a04c350bdb6574a01e684667d8d3f21221552001 v0.12
3af6a4418a2023fcd932a0ca80060b350670acd9 v0.13
177321664baf2b7c1b8e80423b81147df01c6c65 v0.14
+5e1db0d214f519b60bee0a9338eed35008bb568b v0.15