--- a/.hgtags	Tue Oct 30 13:57:05 2018 +0100
+++ b/.hgtags	Tue Oct 30 14:26:00 2018 +0100
@@ -12,3 +12,4 @@
 7fe59c07bd831e2c3338d845440a7b6918f44cbe 0.1.11
 bce031c421f08e8cf56d04be26339103d6d77560 0.1.12
 4d0e6279ded334510b52ed66ba9a18ed6f50046c 0.1.12.1
+1a77f19cd7dea7cd23c715ee929dcdc8afa0b25e 0.1.12.2