Miguel Ángel Arruga Vivas writes: > The attached patch fixes this one too, should I push it to master (as > the last change for git) or to core-updates or staging (as it might seem > looking at the dependencies)? LGTM. Git (+ git-minimal) is below the 300 rebuild limit for 'master' (and I try to keep it that way!).