1.1 --- a/.hgtags	Sat May 04 02:14:34 2019 +0200
     1.2 +++ b/.hgtags	Sun May 05 20:10:25 2019 +0200
     1.3 @@ -12,3 +12,4 @@
     1.4  eace10725457069b5c5bfdb8723e876bfa63d753 Release 1.2.0
     1.5  9425e2da65e4d4e3febab6725a0a101676386313 1.3.0-RC-default
     1.6  4d6c07372e3ef7d8768908d17f07a54d74ef291d 1.3.0-RC-sync
     1.7 +1bf48c2e4230d4e7cb2589743182a230aa60691b 1.3.1-RC2-sync