On Wed, 23 Nov 2022 15:08:13 GMT, Jayathirth D V <j...@openjdk.org> 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

Thumbs up.

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

Marked as reviewed by dcubed (Reviewer).

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

Reply via email to