Hello, people have been working on packages close to the leaves which did not build any more in core-updates; but as far as I can see, nothing major has popped up that would prevent a merge.
So unless there is firm opposition, I intend to merge core-updates to master tomorrow as announced, in the early European afternoon. Andreas
