--- a/.hgtags Thu May 30 18:23:39 2019 +0200
+++ b/.hgtags Sat Jun 01 10:55:32 2019 +0200
@@ -6,3 +6,4 @@
d6dea8c17f683874b8e61e94d9d577491feef90d v1.2.1
4996f8953c3a3ef379da90d353b8d82d8a6d5b98 v1.2.2
c7bea9ad9d9cc8836505b777e2616fa4ab731671 v1.2.3
+dcf751b270ddbb56b66e597ccab7e8f36dacae04 v1.2.4