The PR suggests updating copyright headers in two files so that they are the
same as in other files.
-
Commit messages:
- update copyright headers
Changes: https://git.openjdk.org/jdk/pull/15269/files
Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=15269&range=00
Issue: https:/
On Mon, 14 Aug 2023 12:47:46 GMT, Dmitry Cherepanov
wrote:
> The PR suggests updating copyright headers in two files so that they are the
> same as in other files.
Thanks for the reviews!
-
PR Comment: https://git.openjdk.org/jdk/pull/15269#issuecomment-1678603082
On Mon, 14 Aug 2023 12:47:46 GMT, Dmitry Cherepanov
wrote:
> The PR suggests updating copyright headers in two files so that they are the
> same as in other files.
This pull request has now been integrated.
Changeset: f4e72c58
Author:Dmitry Cherepanov
URL:
https://git.openj