# HG changeset patch # User Marcin Kuzminski # Date 2018-12-11 05:47:12 # Node ID c3e5b041c2b2c17ca714f2ae0298ceb5cb65d4f1 # Parent 6b4cdb499b0a0dd715922098eb0883becad5685c # Parent 05819f29c6d3a024d631654ce3dd8dbf298b6f39 release: merge back stable branch into default diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -46,3 +46,4 @@ 7ff81aa47b1b40cdef9dd5bcdd439f59c269db3d 628a08e6aaeff2c3f9e0e268e854f870e6778e53 v4.13.3 941d675f10cfa7d774815bfacfb37085751b7a0d v4.14.0 75e11d32c0be0a457198f07888e7ef650cfa6888 v4.14.1 +6c6f49fda0191c4641dcd43aa0d4376b8b728d40 v4.15.0