Merge pull request #77 from antonblanchard/timing
authorAnton Blanchard <anton@linux.ibm.com>
Mon, 30 Sep 2019 08:21:54 +0000 (18:21 +1000)
committerGitHub <noreply@github.com>
Mon, 30 Sep 2019 08:21:54 +0000 (18:21 +1000)
A number of timing fixes


Trivial merge