Merge pull request #171 from davidgiven/dtrg-comparisons
authorDavid Given <dg@cowlark.com>
Sat, 16 Feb 2019 00:23:27 +0000 (01:23 +0100)
committerGitHub <noreply@github.com>
Sat, 16 Feb 2019 00:23:27 +0000 (01:23 +0100)
commitc4ff0899dc19f81481bfb06f29ed56c3a743a6a0
treebd166632ee6b11446bdc2ce9ab46e42dab3905ad
parentdfd75c770bb0a39a167cd7166f6b3698102fbd7c
parent61d623c4d6d34c83715a292131e2e1ce8b8b511f
Merge pull request #171 from davidgiven/dtrg-comparisons

i80: a few more minor fixes