On Wed, 23 Nov 2022 15:08:13 GMT, Jayathirth D V <[email protected]> wrote:

>> Update header to add extra space
>
> Jayathirth D V has updated the pull request incrementally with one additional 
> commit since the last revision:
> 
>   Add additional space

Updated fix looks good now.

Marked as reviewed by kcr (Author).

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

PR: https://git.openjdk.org/jdk/pull/11324

Reply via email to