projects / microwatt.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 1ba84b5 7caf71b)
Merge pull request #45 from antonblanchard/fixes
authorAnton Blanchard <anton@linux.ibm.com>
Wed, 11 Sep 2019 12:53:47 +0000 (22:53 +1000)
committerGitHub <noreply@github.com>
Wed, 11 Sep 2019 12:53:47 +0000 (22:53 +1000)
Fix a couple of issues in the recent pipelining merge


Trivial merge