# HG changeset patch # User Marcin Kuzminski # Date 2018-10-09 12:55:48 # Node ID 5832bcc49b8e18cc1c2d5008890d988198e38300 # Parent 351e619ae63761d78d20d3c7072aab59a3bed827 # Parent d1b517587400fe591837389768eeb2846355c8d5 release: merge back stable branch into default diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -43,3 +43,4 @@ b58038974a5cecbb9c100d32ad2e4c68582f1a78 e1d42d92a0fec0c80b56c82f37bc7b5472613706 v4.13.0 c3ded3ff17e9bb2a47002a808984a7a946f58a1c v4.13.1 7ff81aa47b1b40cdef9dd5bcdd439f59c269db3d v4.13.2 +628a08e6aaeff2c3f9e0e268e854f870e6778e53 v4.13.3