--- a/.hgtags Mon Apr 08 13:37:20 2019 +0200
+++ b/.hgtags Sun May 26 22:23:00 2019 +0200
@@ -2,3 +2,4 @@
63e804b63321878ec8f845ed27aaf7b885d683b1 v0.9
d828584e24feedaf2ff6b82f72329c8d218c6547 v0.10
90d4e4f9fde617d6655caf93f3357c4a8e8670e3 v0.11
+76897506c1de48332b1007e00f33570ddcfb89ec v0.12