Integrated: 8254061 Missing space in flag description

Tue Oct 6 19:22:06 UTC 2020

On Tue, 6 Oct 2020 18:55:55 GMT, Harold Seigel <hseigel at openjdk.org> wrote:

> Please review this trivial change to add a blank before 'dumped'.  The change was tested
> with -XX:+PrintFlagsWithComments.
> Thanks, Harold

This pull request has now been integrated.

Changeset: 82fe023b
Author:    Harold Seigel <hseigel at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/82fe023b
Stats:     1 line in 1 file changed: 0 ins; 0 del; 1 mod

8254061: Missing space in flag description

Reviewed-by: coleenp

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

PR: https://git.openjdk.java.net/jdk/pull/531