On Thu, 2 Feb 2023 22:44:40 GMT, Erik Joelsson <[email protected]> wrote:
> This patch removes some now obsolete jib profiles configurations. This pull request has now been integrated. Changeset: 8a9e383d Author: Erik Joelsson <[email protected]> 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
