diff -r de60c8245350 -r 62fd8eaeab01 .hgtags --- 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