--- a/.hgtags Tue Oct 23 12:16:08 2018 +0200 +++ b/.hgtags Tue Oct 23 12:16:08 2018 +0200 @@ -10,3 +10,4 @@ 461fa3beb4386cf6764d60d59c4854fbba01833b 0.1.9 d02350fa13e7d76393c414edecef40cd18cbb837 0.1.10 9264287735a6f0538eb4580567e914cfb91383f2 0.1.11 +a948e0a00f5ce1f6d79d559ade979a3397f0d722 0.1.12