diff -r 64d9244ee252 -r 34bacd35f32e .hgtags
--- a/.hgtags	Mon May 27 17:54:35 2019 +0200
+++ b/.hgtags	Tue May 28 20:53:05 2019 +0200
@@ -2,3 +2,4 @@
 232540baef3c6c4a4ec4d57d47222a36b85ca197 v0.9
 4895c98a7d62bd029d9c3de81df8bf9b19cbfe5b v0.10
 09981db6ad87c9d9301bc4194abb8606dc133517 v0.11
+64d9244ee252adeb08a8c24245519a7fdec2062f v0.12