Commit 6256d023d204007a283c533044a54edff344b4d7

Patrick Steinhardt 2020-06-15T14:34:29

diff_print: adjust code to match current coding style