On Wed, Mar 23, 2022 at 08:38:02AM +0200, Jonathan Carter wrote: > > Can we delete him from planet? > > Any DD can do that... oh wait that includes me... done!
I went bold and reverted this removal; the detailed reason why and the Planet rules I believe Jonathan has breached are in the commit message. Meow! -- ⢀⣴⠾⠻⢶⣦⠀ ⣾⠁⢠⠒⠀⣿⡁ Autotools hint: to do a zx-spectrum build on a pdp11 host, type: ⢿⡄⠘⠷⠚⠋⠀ ./configure --host=zx-spectrum --build=pdp11 ⠈⠳⣄⠀⠀⠀⠀