--- a/.hgtags Wed Oct 30 16:47:44 2019 +0100
+++ b/.hgtags Fri Jan 31 23:34:53 2020 +0100
@@ -5,3 +5,4 @@
3c668e5346c0a821c62bea02002f775c96516f05 v0.12
d179f7493f05f38e87fb50bba4c39d515f475641 v0.13
5a3602fb16498ebbcf221a2fb3defe18c618849e v0.14
+af1462df32371772c0767026bb0b77b55af8bfb4 v0.15