--- a/.hgtags	Mon Jun 18 23:15:34 2018 +0200
+++ b/.hgtags	Tue Jun 19 00:03:22 2018 +0200
@@ -380,3 +380,4 @@
 fe5b127c056dc026b738c62a5b443ea06e868b1f V00.47
 ffbd8565b65f9e3d761baa8455d74578940d6b40 V00.57
 ffdfdf0b5d3cf73651fe1bdcb3334d6c6945d493 V00.72
+8b3d57a519eb2cec930fa36f363c36d0807a7567 V05.000