> On 09 Feb 2017, at 13:11, Oswald Buddenhagen <Oswald.Buddenhagen at qt.io> 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