--- a/.hgtags	Fri May 05 22:22:26 2017 +0200
+++ b/.hgtags	Fri May 05 21:55:09 2017 +0000
@@ -1,7 +1,8 @@
 280b34baee6089cc5dfca7e3b32be56f7f9aa986 v0.3.0
+3a736d6c44d0fecb18126c80d7376d0b3ccad080 v0.5.1
 530bd59bae97e541b25f2aef14f51f3788c6ea1e v0.3.1
 71812d67a16b0b3fc983c6fe254aac0cdeee61d7 v0.1.0
+cb73e3ec0a143a46eafbe834bd38423884b6de4c v0.5.2
 cde24b04e16d3b4bc67c9beb88a8a30301dd69c8 v0.2.0
-d6d768380860bfec04cabe84e4ff0d5391a67641 v0.5.1
 e6ca4d08decd43ada59fa18edde6273dfacbe011 v0.5.0
 f0b899ce915c3b8becdb360fc2a50e8e57744d01 v0.4.0