Skip to content
GitLab
Explore
Sign in
Eclipse Projects
Eclipse StatET™
statet
Merge requests
!33
Update target platform to Java SE >= 17
Code
Review changes
Check out branch
Download
Patches
Plain diff
Stephan Wahlbrink
requested to merge
dev/#47.1
into
main
May 02, 2023
Overview
0
Commits
8
Pipelines
4
Changes
746
Expand
Relates-to:
Update target platform to Java ≥ 17 (#47 - closed)
Java SecurityManager is deprecated since Java 17 (#38 - closed)
Merge request reports