On Fri, 20 May 2022 20:55:02 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> Use the term "main description". This pull request has now been integrated. Changeset: 7c086475 Author: Pavel Rappo <pra...@openjdk.org> URL: https://git.openjdk.java.net/jdk/commit/7c0864752aa6301ec5a2123a5a96eb71bc0a83af Stats: 11 lines in 6 files changed: 0 ins; 0 del; 11 mod 8287099: Clean up terminology regarding doc comment descriptions. Reviewed-by: jjg ------------- PR: https://git.openjdk.java.net/jdk/pull/8818