Integrated: 7032: The banner is missing from help page

[Suchita Chaturvedi]

On Wed, 2 Dec 2020 21:55:48 GMT, Suchita Chaturvedi <schaturvedi at openjdk.org> wrote:

> This change fix the issue of missing banner in help page.
> 
> Please review the change.

This pull request has now been integrated.

Changeset: a21771c4
Author:    Suchita Chaturvedi <schaturvedi at openjdk.org>
URL:       https://git.openjdk.java.net/jmc/commit/a21771c4
Stats:     15 lines in 3 files changed: 14 ins; 0 del; 1 mod

7032: The banner is missing from help page

Reviewed-by: hirt

-------------

PR: https://git.openjdk.java.net/jmc/pull/173