--- a/.hgtags Sun Jan 05 17:02:37 2020 +0100
+++ b/.hgtags Fri Jan 31 23:34:53 2020 +0100
@@ -5,3 +5,4 @@
fecb37615f7dced9c7147111836a7b9b6093fcd3 v0.12
37e75c20ee96722b3779a3ccac75545c803e153b v0.13
47a7d86ad8107a09678c20e4578ddb7a0d332c7c v0.14
+8e2d9b67b51c6bef253bce78a7d9c1f7896a61c1 v0.15