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)
commite1ddbf969a7c5f56fcaf4c4344636cf33a74022c
tree606258cc56ee11f42fa76dec362b2e451f8a387f
parent0694cf34b003e1cd643312eb976f784625455219
parent8ca4d6ea1eb439689f2a8a0d23e4012d9ccb3e62
Merge pull request #166 from davidgiven/dtrg-comparisons

i80: grabbag of optimisations