On Thu, 30 Nov 2023 15:00:00 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> Please review this PR to correctly rename "Unnamed Class" to "Implicitly > Declared Class", not "Implicit Class". > > Renaming is fixed where it affects documentation or the end-user. Renaming is > not fixed where it only affects code: it's perfectly okay to derive an > internal element name from "Implicit Class" rather than "Implicitly Declared > Class", for brevity. This pull request has now been integrated. Changeset: 8f1d40b4 Author: Pavel Rappo <pra...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/8f1d40b48bf145144ae90b1d147d418d3905661b Stats: 19 lines in 8 files changed: 0 ins; 0 del; 19 mod 8321114: Rename "Unnamed Classes" to "Implicitly Declared Classes" better Reviewed-by: jlaskey ------------- PR: https://git.openjdk.org/jdk/pull/16904
