diff -r 33c9b0f17cb2 -r 3fc7f813b53d .hgtags
--- a/.hgtags	Sun Dec 15 18:08:14 2019 +0100
+++ b/.hgtags	Sun Dec 15 18:43:01 2019 +0100
@@ -7,3 +7,4 @@
 4996f8953c3a3ef379da90d353b8d82d8a6d5b98 v1.2.2
 c7bea9ad9d9cc8836505b777e2616fa4ab731671 v1.2.3
 dcf751b270ddbb56b66e597ccab7e8f36dacae04 v1.2.4
+33c9b0f17cb288a53db0fc6723d3f113c229bec5 v1.3.0