On Wed, Mar 7, 2018 at 11:12 AM, Andy Lutomirski <[email protected]> wrote: > > For all practical purposes, "native" was really just a chicken bit > in case something went wrong with the emulation. It's been over six > years, and nothing has gone wrong. Delete it.
Ack.
I guess we';ll hear if anybody might still use it and cares, but..
Linus
