# HG changeset patch # User Marcin Kuzminski # Date 2019-01-02 16:03:41 # Node ID f82343d1eea715e75e7ed1379655a6b309f56d59 # Parent 7f39296b88f08618de4f9668d7378fc5c7dd1821 # Parent f1c5b952d41ccce72cfd86952fdd2cd58c77fa5a release: merge back stable branch into default diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -47,3 +47,4 @@ 628a08e6aaeff2c3f9e0e268e854f870e6778e53 941d675f10cfa7d774815bfacfb37085751b7a0d v4.14.0 75e11d32c0be0a457198f07888e7ef650cfa6888 v4.14.1 6c6f49fda0191c4641dcd43aa0d4376b8b728d40 v4.15.0 +184dea5e01c36e6474c83d3bb34719cdfec22b0d v4.15.1