On Tue, 22 Aug 2023 08:42:32 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> Please review this simple PR. This pull request has now been integrated. Changeset: f39fc0aa Author: Pavel Rappo <pra...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/f39fc0aa2de19332fa51af605ece0660891d8c7a Stats: 124 lines in 28 files changed: 0 ins; 116 del; 8 mod 8314738: Remove all occurrences of and support for @revised Reviewed-by: mr ------------- PR: https://git.openjdk.org/jdk/pull/15382
