projects / microwatt.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: e54db5b 1b559ae)
Merge pull request #85 from antonblanchard/leadingzeroes-fix
authorAnton Blanchard <anton@linux.ibm.com>
Thu, 10 Oct 2019 06:56:55 +0000 (17:56 +1100)
committerGitHub <noreply@github.com>
Thu, 10 Oct 2019 06:56:55 +0000 (17:56 +1100)
Fix count-leading/trailing-zeroes


Trivial merge