Merge pull request #109 from antonblanchard/misc
authorAnton Blanchard <anton@linux.ibm.com>
Thu, 17 Oct 2019 06:37:49 +0000 (17:37 +1100)
committerGitHub <noreply@github.com>
Thu, 17 Oct 2019 06:37:49 +0000 (17:37 +1100)
commit900c13108327ad4560bcdaf745a2df759d7dcf32
treeacb589afa7eeadb0165054df4d8276afac925f32
parent4433118c91308a246aa13fde164f0ec8fafc6e5f
parente67924f55e3f33ccdcd14d519fd1c949a7b79739
Merge pull request #109 from antonblanchard/misc

Misc updates from Ben