Merge pull request #119 from antonblanchard/reduce-pipe-depth
authorAnton Blanchard <anton@linux.ibm.com>
Mon, 18 Nov 2019 03:05:48 +0000 (14:05 +1100)
committerGitHub <noreply@github.com>
Mon, 18 Nov 2019 03:05:48 +0000 (14:05 +1100)
control: Reduce pipeline depth to 1


Trivial merge