On Tue, 11 Jul 2023 00:40:40 GMT, Maurizio Cimadamore
wrote:
> Clean backport of https://git.openjdk.org/jdk/pull/14813
> (sorry for filing another one, I realized there was an issue with the JBS
> issues pointing the wrong way)
This pull request has now been integrated.
Changeset: ca108041
A
On Mon, 10 Jul 2023 11:00:54 GMT, Maurizio Cimadamore
wrote:
> This simple PR fixes an issue where `this segment` was used in the javadoc of
> two static methods.
This pull request has now been integrated.
Changeset: 6569b252
Author:Maurizio Cimadamore
URL:
https://git.openjdk.org