--- a/.hgtags	Wed Oct 30 16:47:42 2019 +0100
+++ b/.hgtags	Fri Jan 31 23:34:51 2020 +0100
@@ -5,3 +5,4 @@
 7b75b6af3cbf9b449796e74fc17d8d6661edc1cc v0.12
 7197f6c3d6b45e3625ea496d255a27db49c9af34 v0.13
 45d60cf711e17e55f903d3b5bd75e13ff0cb786a v0.14
+1877098fb54836f9d8464d61fe760ba4295f2e80 v0.15