On Wed, 23 Nov 2022 14:51:08 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: > > Update header to include extra space It makes sense to copy the license header from another file in the same directory to make sure nothing's missing. ------------- PR: https://git.openjdk.org/jdk/pull/11324
