Integrated: 8301717: Remove obsolete jib profiles
Erik Joelsson
erikj at openjdk.org
Wed Feb 8 21:55:53 UTC 2023
On Thu, 2 Feb 2023 22:44:40 GMT, Erik Joelsson <erikj at openjdk.org> wrote:
> This patch removes some now obsolete jib profiles configurations.
This pull request has now been integrated.
Changeset: 8a9e383d
Author: Erik Joelsson <erikj at openjdk.org>
URL: https://git.openjdk.org/jdk/commit/8a9e383dba58ed047ca46007b5af186aade05b59
Stats: 18 lines in 1 file changed: 0 ins; 18 del; 0 mod
8301717: Remove obsolete jib profiles
Reviewed-by: dholmes, ihse
-------------
PR: https://git.openjdk.org/jdk/pull/12395
More information about the build-dev
mailing list