--- a/.hgtags Fri Dec 13 22:19:39 2019 +0100
+++ b/.hgtags Fri Jan 31 23:34:51 2020 +0100
@@ -5,3 +5,4 @@
2ef3d0d04e8336a170e39721e776d36393718982 v0.12
ea9c95b3b326758cd3bb58ed4d2f17ad94abbee8 v0.13
3442e0d6caec8035770fdaa98541a6590d3ccd66 v0.14
+12c329f5524f0c1e108ee80279dc8d314af2cd88 v0.15