--- a/.hgtags	Tue Jun 02 00:02:28 2020 +0200
+++ b/.hgtags	Sat Jun 06 01:50:44 2020 +0200
@@ -6,3 +6,4 @@
 338f27352aaa1c7e77a748ab72cebc933ecd35e2 v0.13
 707a6734f364d7093ca24e1679467ab982ece58d v0.14
 f3867ada29b8e59426c64f9a678c4b4a56101a59 v0.15
+32113908404d8e1f47b01c175172b72732dcc43d v0.16