# HG changeset patch # User Marcin Kuzminski # Date 2018-07-16 15:44:52 # Node ID d9d3666bdf66486037354fb1de89eb48ae4fd3db # Parent 80e9ab606a0507df4754f322f908323fab4d941b # Parent 0b738c3c576cbf25f13605ad04b2721b73c5dea6 release: merge back stable branch into default diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -39,3 +39,4 @@ c218a1ce5d370c2e671d42a91684b3fc2c91b81d 80085fb846cc948195a5c76b579ca34cbc49b59b v4.12.1 346f04fc8a18df3235defbe6e71bd552c0d46481 v4.12.2 764fdd752322f3e0c13ea00957f2d548bf4363a7 v4.12.3 +b58038974a5cecbb9c100d32ad2e4c68582f1a78 v4.12.4