--- a/.hgtags Fri Jan 31 22:57:10 2020 +0100
+++ b/.hgtags Fri Jan 31 23:34:51 2020 +0100
@@ -5,3 +5,4 @@
fb8bc4463a4426acecc866afe4ded30df8432d04 v0.12
518c64d52d439145e7adfeb4866937257bf8a401 v0.13
825c611933b302679dcce6b881aec505492b2108 v0.14
+86b7c37425f31dc288610adee0a2a4ae737dedbc v0.15