--- a/.hgtags	Fri Apr 27 11:06:28 2018 +0200
+++ b/.hgtags	Fri Apr 27 11:06:28 2018 +0200
@@ -10,3 +10,4 @@
 d451feffd124996354a4bc120824d51d45600266 0.1.9
 1ad40ab71077b3f09dbe67fb710476021ac9b65e 0.1.10
 18b4d0d151d8ed87972e85369216c4adf550bfb9 0.1.11
+9fc58280af9e88f2aaad08bc4b6e7c70da6df7dc 0.1.12