On Tue, 22 Aug 2023 08:42:32 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> Please review this simple PR. Removing `@revised` tags is not a substantive change, so I wouldn’t update the copyright year as you have in some of these files. Otherwise, this looks fine. ------------- Marked as reviewed by mr (Lead). PR Review: https://git.openjdk.org/jdk/pull/15382#pullrequestreview-1589309922