Merge pull request #176 from antonblanchard/console-improv
authorAnton Blanchard <anton@linux.ibm.com>
Tue, 19 May 2020 01:53:34 +0000 (11:53 +1000)
committerGitHub <noreply@github.com>
Tue, 19 May 2020 01:53:34 +0000 (11:53 +1000)
Console improvements from Ben


Trivial merge