public / ack.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 073451d f4b45f1)
Merge pull request #158 from davidgiven/dtrg-b157
authorDavid Given <dg@cowlark.com>
Tue, 12 Feb 2019 21:29:01 +0000 (22:29 +0100)
committerGitHub <noreply@github.com>
Tue, 12 Feb 2019 21:29:01 +0000 (22:29 +0100)
i80: fix bad code in comparisons


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.