Hi, On Sat, 11 Jul 2020, at 21:14, Sandro Tosi wrote: > Andrej, the pristine-tar branch has not been updated (not sure if you > didnt push it or it was not imported with the --pristine-tar option) Thanks for pinging me, I forgot to push it. -- Cheers, Andrej