Skip to content

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

Merged
datho7561 merged 1 commit into
redhat-developer:mainfrom
shblue21:fix-jdk-home-priority
Oct 19, 2026
Merged

datho7561 merged 1 commit into
redhat-developer:mainfrom
shblue21:fix-jdk-home-priority

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

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

Annotations

1 warning

The logs for this run have expired and are no longer available.