On 10/07/22 14:59, Robert Elz wrote:
Fixing these things is a noble goal, but breaking the buikd to make that happen is not.
I didn't envision breaking the build, but I also have to admit that I didn't envision how this wouldn't break the build either.
Maybe a new build.sh operation? Cheers, Lloyd