On Tue, Sep 15, 2020 at 04:16:27PM +0200, olivier sallou wrote: > > But the exit code is "fail" anyway. What exactly is your suggestion > > to > > do? > I just made a try to build based on latest code in git, and it worked > for me... So pretty please use your position as "Uploader". ;-) Thanks a lot Andreas. -- http://fam-tille.de