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)
commit43f81773b466aaa10679683b208bbdbbc494e14d
tree10585d0506430e097d57c8da9d1ca30c8ce15058
parent1ba84b56ddd590c6a08a0d25afe1aca177dc8b94
parent7caf71ba711f27c4ebb80eeb027181c0cc73d78d
Merge pull request #45 from antonblanchard/fixes

Fix a couple of issues in the recent pipelining merge