diff -r 76897506c1de -r d876aca5a5a4 .hgtags
--- 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