Skip to content

Fix #4426: preserve JDK_HOME priority when sorting JDKs#4427

Open
shblue21 wants to merge 1 commit into
redhat-developer:mainfrom
shblue21:fix-jdk-home-priority
Open

Fix #4426: preserve JDK_HOME priority when sorting JDKs#4427
shblue21 wants to merge 1 commit into
redhat-developer:mainfrom
shblue21:fix-jdk-home-priority

Fix: preserve JDK_HOME priority when sorting JDKs (#4426)

af0ac84
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
pr-verify-job (ubuntu-latest)
succeeded Jun 15, 2026 in 3m 47s