--- 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