Trumps "Trumps" <[email protected]> 28 Nov 2018 12:13:20 -0600 Newsgroups gmane.os.netbsd.ports.cobalt Message-ID <[email protected]>