On Thu, 2 Feb 2023 22:44:40 GMT, Erik Joelsson wrote:
> This patch removes some now obsolete jib profiles configurations.
Marked as reviewed by ihse (Reviewer).
-
PR: https://git.openjdk.org/jdk/pull/12395
On Thu, 2 Feb 2023 22:44:40 GMT, Erik Joelsson wrote:
> This patch removes some now obsolete jib profiles configurations.
Removal seems fine. Thanks.
-
Marked as reviewed by dholmes (Reviewer).
PR: https://git.openjdk.org/jdk/pull/12395
This patch removes some now obsolete jib profiles configurations.
-
Commit messages:
- JDK-8301717
Changes: https://git.openjdk.org/jdk/pull/12395/files
Webrev: https://webrevs.openjdk.org/?repo=jdk=12395=00
Issue: https://bugs.openjdk.org/browse/JDK-8301717
Stats: 18 lines in