--- a/.hgtags	Fri Dec 28 11:09:16 2018 +0100
+++ b/.hgtags	Fri Dec 28 11:09:17 2018 +0100
@@ -11,3 +11,4 @@
 47222c794e2f803f3971d6ac0eeed77ba9fe0d39 0.1.10
 a365381bca2377db74ca4fa914db35a0f3e01736 0.1.11
 de60c82453503dcfc6b460965e835e422c6aa360 0.1.12
+14ddc993f30b6febc80e759c602e24c096ece750 0.1.12.1