--- a/.hgtags	Fri Nov 16 15:35:49 2018 +0100
+++ b/.hgtags	Fri Nov 16 15:35:49 2018 +0100
@@ -10,3 +10,4 @@
 9bed7675b823dde3fcc0b06aeb9e293a2af7396f 0.1.9
 47222c794e2f803f3971d6ac0eeed77ba9fe0d39 0.1.10
 a365381bca2377db74ca4fa914db35a0f3e01736 0.1.11
+de60c82453503dcfc6b460965e835e422c6aa360 0.1.12