--- a/.hgtags Thu Jun 04 14:08:47 2020 +0200
+++ b/.hgtags Sat Jun 06 01:50:44 2020 +0200
@@ -6,3 +6,4 @@
37e75c20ee96722b3779a3ccac75545c803e153b v0.13
47a7d86ad8107a09678c20e4578ddb7a0d332c7c v0.14
8e2d9b67b51c6bef253bce78a7d9c1f7896a61c1 v0.15
+796ff16f32fcd34eb2d135055a14c04278b80a8b v0.16