--- a/.hgtags Mon May 28 20:55:51 2018 +0200
+++ b/.hgtags Mon May 28 17:58:40 2018 +0000
@@ -2,10 +2,12 @@
280b34baee6089cc5dfca7e3b32be56f7f9aa986 v0.3.0
3a736d6c44d0fecb18126c80d7376d0b3ccad080 v0.5.1
3dd35bdb63acb0f71a40f99202b5932cb004fb7d v1.0.0
+3e017cfad3cc886bdc3362fed53e381257daa7a1 v2.3.1
530bd59bae97e541b25f2aef14f51f3788c6ea1e v0.3.1
6461e0637767a1cc0868d7aba5764aaa85d78787 v1.1.0
71812d67a16b0b3fc983c6fe254aac0cdeee61d7 v0.1.0
7217174c217a42a1f8c89fc414886ea1f77680d5 v0.5.2
+78fe649d7fc94bb09a144e1446a68cb2ba7c6588 v2.3.0
908a433f02c00624601605730f52ff16f68d17b3 v1.2.0
cde24b04e16d3b4bc67c9beb88a8a30301dd69c8 v0.2.0
ce2b92d6d72ca97e33f08b804c53d830f1b81504 v0.6.1