# HG changeset patch # User Marcin Kuzminski # Date 2018-02-15 14:21:15 # Node ID 494351d9d7369c5e10cbb56edd87029f71f9bdf2 # Parent d27ef2a852e506b0ff91793cf17fc814905a5c79 # Parent fa36146b074ee1875115669f36fcfbefdefda635 release: merge back stable branch into default diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -31,3 +31,4 @@ e8bf26eea118694edc4ffe50c6c5aa91022bc434 71fa9274ba59fb982104f0b9b3d0d024c78675f7 v4.11.0 92471577ef25636e5babe8001d47fc8e51521522 v4.11.1 0277edbcda5a8d075e1e41a95bcee6dcf21f3f77 v4.11.2 +6c5ecbf0778ef870e5b23d9fad5340135b563356 v4.11.3