--- a/.hgtags Wed Oct 30 16:47:43 2019 +0100
+++ b/.hgtags Fri Jan 31 23:34:52 2020 +0100
@@ -2,3 +2,4 @@
cd81cdaa48690c171c07c9c99e0db992de6bfcf9 v0.12
adb1dc419764ccd1aeaf2b21fbb2e8fefd1bc34c v0.13
d59f31fa7009f530af6fc101cb39a721de3ffea7 v0.14
+b12b029a12ccd0c3329c1d28fa03060030bb455f v0.15