--- a/.hgtags	Wed Dec 05 16:33:28 2018 +0100
+++ b/.hgtags	Wed Dec 05 16:33:47 2018 +0100
@@ -11,3 +11,5 @@
 6239080e27fd6d83a907074c4846902051bec7bd 0.1.0
 0000000000000000000000000000000000000000 0.1.1
 3245d21bda40cef686929558869c3dc1c5f843f4 0.1.1
+0000000000000000000000000000000000000000 0.1.2
+d56eef10d01a895a14c063c05e726f18cfdf7e51 0.1.2