Skip to content

Conversation

@merks
Copy link
Contributor

@merks merks commented Jun 5, 2025

No description provided.

@merks merks merged commit 55b6ccb into eclipse-platform:master Jun 5, 2025
4 of 5 checks passed
@merks merks deleted the pr-early-redirect branch June 5, 2025 17:27
@eclipse-platform-bot
Copy link
Contributor

This pull request changes some projects for the first time in this development cycle.
Therefore the following files need a version increment:

eclipse.platform.releng/features/org.eclipse.help-feature/feature.xml

An additional commit containing all the necessary changes was pushed to the top of this PR's branch. To obtain these changes (for example if you want to push more changes) either fetch from your fork or apply the git patch.

Git patch
From c14566b88d50a511875ef5d136a363fe60d3fed7 Mon Sep 17 00:00:00 2001
From: Eclipse Platform Bot <[email protected]>
Date: Thu, 5 Jun 2025 17:29:53 +0000
Subject: [PATCH] Version bump(s) for 4.37 stream


diff --git a/eclipse.platform.releng/features/org.eclipse.help-feature/feature.xml b/eclipse.platform.releng/features/org.eclipse.help-feature/feature.xml
index 6a96ef2169..bae7e9d0a5 100644
--- a/eclipse.platform.releng/features/org.eclipse.help-feature/feature.xml
+++ b/eclipse.platform.releng/features/org.eclipse.help-feature/feature.xml
@@ -3,7 +3,7 @@
 <feature
       id="org.eclipse.help"
       label="%featureName"
-      version="2.3.2200.qualifier"
+      version="2.3.2300.qualifier"
       provider-name="%providerName"
       plugin="org.eclipse.help.base"
       license-feature="org.eclipse.license"
-- 
2.49.0

Further information are available in Common Build Issues - Missing version increments.

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.

2 participants