On Fri, May 10 2019, Ian Darwin <i...@darwinsys.com> wrote: > Another library that nobody will use in this location. > > Removes from makefile, updates quirks, and removes the port. > > OK?
LGTM, no other port depends on this. 8) No idea whether reason #1 is the most appropriate, I'll trust you on that. ok jca@ -- jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE