--- a/.hgtags Wed Oct 30 16:47:44 2019 +0100
+++ b/.hgtags Fri Jan 31 23:34:53 2020 +0100
@@ -5,3 +5,4 @@
64d9244ee252adeb08a8c24245519a7fdec2062f v0.12
5288af2e4921a438ac9e9f26788722572dbdee45 v0.13
0c050899c77f491367784ea677657f9e6ff3fc1f v0.14
+6edbaadbc8529832477ccb57961b831f00cb49a2 v0.15