Merge pull request #4711 from akallabeth/command_line_cleanup_rework
authorDavid Fort <rdp.effort@gmail.com>
Tue, 19 Jun 2018 14:48:05 +0000 (16:48 +0200)
committerGitHub <noreply@github.com>
Tue, 19 Jun 2018 14:48:05 +0000 (16:48 +0200)
Command line cleanup rework


Trivial merge