--- a/.hgtags	Fri Jan 31 23:34:52 2020 +0100
+++ b/.hgtags	Sat Jun 06 01:50:44 2020 +0200
@@ -3,3 +3,4 @@
 d06b6bd5bedf67ec7c68f02d97dc4bb52dacec68 v0.13
 c155b441306f392c318aa483a055927792623916 v0.14
 5b79663257c70d9758b546ee6bef81605b5be7de v0.15
+1b86e8a633a17e8a5afa845d1c8854dc02c7bd7a v0.16