--- a/.hgtags Wed Oct 30 16:47:43 2019 +0100
+++ b/.hgtags Fri Jan 31 23:34:52 2020 +0100
@@ -2,3 +2,4 @@
043f7cad51229c3a052156f69f177ef2ec3c263d v0.12
d06b6bd5bedf67ec7c68f02d97dc4bb52dacec68 v0.13
c155b441306f392c318aa483a055927792623916 v0.14
+5b79663257c70d9758b546ee6bef81605b5be7de v0.15