From 68c708a80fd3943083f54ffd42c8b3d997f6cc0d Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Tue, 5 Mar 2024 21:37:42 +0000 Subject: [PATCH] Bump org.eclipse.platform:org.eclipse.ui.workbench Bumps [org.eclipse.platform:org.eclipse.ui.workbench](https://github.com/eclipse-platform/eclipse.platform.ui) from 3.126.0 to 3.130.0. - [Commits](https://github.com/eclipse-platform/eclipse.platform.ui/commits) --- updated-dependencies: - dependency-name: org.eclipse.platform:org.eclipse.ui.workbench dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- plugins/org.eclipse.elk.core.service/pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugins/org.eclipse.elk.core.service/pom.xml b/plugins/org.eclipse.elk.core.service/pom.xml index d82455c4c..49c954000 100644 --- a/plugins/org.eclipse.elk.core.service/pom.xml +++ b/plugins/org.eclipse.elk.core.service/pom.xml @@ -48,7 +48,7 @@ org.eclipse.platform org.eclipse.ui.workbench - 3.126.0 + 3.130.0