On Sat, Sep 23, 2017 at 08:51:54AM +0200, pd wrote: > I saw a message from you talking about not including arm binaries but in > last tgz I got there's a binary include, should I remove it?
I don't know what the build process at F-Droid needs and can handle, so I think it is better to leave it inside. ♪♫ Alex -- UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe