Update default Greclipse version#2989

Open

jochenberger wants to merge 1 commit into

diffplug:mainfrom

jochenberger:update-greclipse

GitHub Advanced Security / CodeQL succeeded Jul 1, 2026 in 2s

No new alerts in code changed by this pull request

View all branch alerts.