Merge pull request #76 from antonblanchard/misc
authorAnton Blanchard <anton@linux.ibm.com>
Mon, 30 Sep 2019 08:00:41 +0000 (18:00 +1000)
committerGitHub <noreply@github.com>
Mon, 30 Sep 2019 08:00:41 +0000 (18:00 +1000)
Some misc updates


Trivial merge