Integrated: 8173: 2023-12 target platform needs update to take org.eclipse.ui.themes

Thu Feb 1 18:50:07 UTC 2024

On Thu, 1 Feb 2024 03:36:02 GMT, Virag Purnam <vpurnam at openjdk.org> wrote:

> 2023-12 target platform needs update to take org.eclipse.ui.themes.
> org.eclipse.ui.themes has been added as part for Dark Mode Fix. Build on master has failed because of this.

This pull request has now been integrated.

Changeset: ea0b1133
Author:    Virag Purnam <vpurnam at openjdk.org>
URL:       https://git.openjdk.org/jmc/commit/ea0b1133ebe0c87e2a31ccb1de6a1354408f4350
Stats:     1 line in 1 file changed: 1 ins; 0 del; 0 mod

8173: 2023-12 target platform needs update to take org.eclipse.ui.themes

Reviewed-by: aptmac

-------------

PR: https://git.openjdk.org/jmc/pull/550