On Mon, 29 Aug 2022 23:43:56 GMT, Jonathan Gibbons <[email protected]> wrote:
> While the approach in this PR is probably correct and for the best, it is > depressing to see the exact same constants being defined multiple times in > the documentation. If it's any consolation, nobody noticed their absence in the past 20 years, so perhaps nobody will notice their presence. 😄 ------------- PR: https://git.openjdk.org/jdk/pull/10070
