Skip to content

Eliminate unchecked cast in o.e.w.ui.preferences.Settings.findSettings#2153

Merged
merks merged 1 commit into
eclipse-wildwebdeveloper:masterfrom
merks:pr-fix-findSettings-warning
Jun 24, 2026
Merged

Eliminate unchecked cast in o.e.w.ui.preferences.Settings.findSettings#2153
merks merged 1 commit into
eclipse-wildwebdeveloper:masterfrom
merks:pr-fix-findSettings-warning

Eliminate unchecked cast in o.e.w.ui.preferences.Settings.findSettings

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