Bjoern, On Sun, Oct 04, 2015 at 02:54:16PM +0000, Bjoern Boschman wrote: > pushed changes to git.d.o > thanks lars Did you forget to push the upstream and pristine-tar branches? Please could you do so? Thanks, Robie