--- a/.hgtags	Tue Oct 22 19:54:49 2019 +0200
+++ b/.hgtags	Wed Oct 30 16:47:42 2019 +0100
@@ -4,3 +4,4 @@
 eda0606a40c7aa7aa9348471c6a179a6992a4a30 v0.11
 7b75b6af3cbf9b449796e74fc17d8d6661edc1cc v0.12
 7197f6c3d6b45e3625ea496d255a27db49c9af34 v0.13
+45d60cf711e17e55f903d3b5bd75e13ff0cb786a v0.14