On 21.02.2020 01:33, Stuart Henderson wrote:
I've reworked this stuff now you provide proper tar.gz files rather than the github auto-generated ones (thanks :-)
Oh yes, that's better indeed. You are right for --disable-filters, sorry for the mistake. Thank you, -- Laurent Coustet