> On 09 Feb 2017, at 13:11, Oswald Buddenhagen <[email protected]> wrote: > > On Thu, Feb 09, 2017 at 01:11:14PM +0100, Marc Mutz wrote: >> Still: add to dev, too? >> > no. that's an equivalent of a cherry-pick, and we don't do that.
Agree. If you need it in dev as well, we should simply do the required merge. Lars _______________________________________________ Development mailing list [email protected] http://lists.qt-project.org/mailman/listinfo/development
