--- a/.hgtags	Tue Oct 30 14:26:00 2018 +0100
+++ b/.hgtags	Tue Oct 30 14:26:01 2018 +0100
@@ -13,3 +13,5 @@
 bce031c421f08e8cf56d04be26339103d6d77560 0.1.12
 4d0e6279ded334510b52ed66ba9a18ed6f50046c 0.1.12.1
 1a77f19cd7dea7cd23c715ee929dcdc8afa0b25e 0.1.12.2
+1a77f19cd7dea7cd23c715ee929dcdc8afa0b25e 0.1.12.2
+4740e424ef1a57c17eb21dc22eae8b2a1679dd05 0.1.12.2