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)
commit4a9a9df4dd6d052d34d3c0c78182cf7a9d7f258e
tree33e70e6f69071e3a3e0b1f481b3fed97b49af880
parentfeb8ee714917b8e658dc5a6ebc12116eeb96fd92
parent492bf06740954089869a93c8947fcaa222cff0a4
Merge pull request #76 from antonblanchard/misc

Some misc updates