diff -r 140dd584af24 -r c4ed84bba6dc .hgtags
--- a/.hgtags	Wed Oct 30 16:47:43 2019 +0100
+++ b/.hgtags	Fri Jan 31 23:34:52 2020 +0100
@@ -5,3 +5,4 @@
 3f557598f66c0539f2494bb9bc6c76c89ffa6d1a v0.12
 212b5468e8bb78644666e55dd73fc492c7b5805a v0.13
 638f581903d049679cc18c684a1555ce5a1f8e24 v0.14
+140dd584af24579d52408eb971a78676a640f25c v0.15