[PATCH v2][PR cli/22573] Honour 'print pretty' when printing result of finish command

[Tom de Vries]

On 06/14/2018 12:55 PM, Pedro Alves wrote:
> OK with the typo below fixed.  Please make sure the git commit log
> includes the rationale [1], and push.
> 

> [1] - sorry to be a nag, but your previous push did not include it.  :-)

No problem, much appreciated.

Currently I add the rationale manually pre-commit, so it's something
that I might forget. I need to update my pre-commit script to handle
this log format, and then I'll try to train myself to add the rationale
in the log before submission.

Thanks,
- Tom