Commit d6c62852076005053be9169cb4f3cd9cf9db2aea

Edward Thomson 2020-06-23T09:16:05

Merge pull request #5559 from pks-t/pks/diff-print-fixups Random fixes for diff-printing