--- a/.hgtags	Mon May 01 22:15:28 2017 +0200
+++ b/.hgtags	Mon May 01 19:47:38 2017 +0000
@@ -1,5 +1,6 @@
-3152b7094fab59c781b1e9c775a66cede0696af7 v1.4.1
+1a311b0316d25f0e9bbced4fa50718c7ca1528eb v1.4.1
 6e9d927d5e326728026756e8f3294e51f4c1831a v1.2.0
+6f618f9086bf2853b816bedc267c09842067c145 v1.4.2
 b2cee3fad4fe0723e614e3f39c846b0c8e210cdc v1.4.0
 bc53768d9c8c97978946507a445d2e7aca17a5a8 v1.3.0
 d7ccfe67fa9e34c8c356981911edf99ec9a2be45 v1.0