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

Conversation

@merks

@merks merks commented Jun 24, 2026

Copy link
Copy Markdown
Contributor

No description provided.

@merks

merks commented Jun 24, 2026

Copy link
Copy Markdown
Contributor Author

The buidl passed but the deploy of master appears blocked Merging anyway.

@merks merks merged commit cd59a77 into eclipse-wildwebdeveloper:master Jun 24, 2026
8 of 9 checks passed
@merks merks deleted the pr-fix-findSettings-warning branch June 24, 2026 20:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant