--- a/.hgtags Mon Apr 08 13:37:11 2019 +0200
+++ b/.hgtags Sun May 26 22:22:58 2019 +0200
@@ -2,3 +2,4 @@
5a2c4a8d715be437e97bc2070447f9f54afb3e77 v0.9
b74e24a58689b840e192e8c0fef764d06c8cb02c v0.10
ba8a6d4e6a03dcdb3287144ed9f0f757389dfe8b v0.11
+a04c350bdb6574a01e684667d8d3f21221552001 v0.12