Merge pull request #166 from davidgiven/dtrg-comparisons
authorDavid Given <dg@cowlark.com>
Fri, 15 Feb 2019 21:54:13 +0000 (22:54 +0100)
committerGitHub <noreply@github.com>
Fri, 15 Feb 2019 21:54:13 +0000 (22:54 +0100)
i80: grabbag of optimisations


Trivial merge