Integrated: 8314738: Remove all occurrences of and support for @revised

Tue Aug 22 13:05:38 UTC 2023

On Tue, 22 Aug 2023 08:42:32 GMT, Pavel Rappo <prappo at openjdk.org> wrote:

> Please review this simple PR.

This pull request has now been integrated.

Changeset: f39fc0aa
Author:    Pavel Rappo <prappo at 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