commit | 13f3656a0b77b63b9a3e8609d6674710af4da584 | [log] [tgz] |
---|---|---|
author | dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> | Tue Mar 12 13:16:51 2024 +0000 |
committer | Andreas Veithen <andreas.veithen@gmail.com> | Sat Mar 16 10:01:42 2024 +0000 |
tree | 4101133669326c0bcab1a26b1b63ef2439992aec | |
parent | 5926fcb1bf067ee082c10d56e4f91b409d0a0df8 [diff] |
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.131.0 to 3.131.100. - [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 update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <support@github.com>