Skip to content

bump version to 4.0.2-SNAPSHOT - #733

Merged
MarkWolters merged 1 commit into
mainfrom
4.0.2-SNAPSHOT
Sep 18, 2026
Merged

MarkWolters merged 1 commit into
mainfrom
4.0.2-SNAPSHOT

Conversation

@MarkWolters

Copy link
Copy Markdown
Contributor

No description provided.

@github-actions

Copy link
Copy Markdown
Contributor

Before you submit for review:

  • Does your PR follow guidelines from CONTRIBUTIONS.md?
  • Did you summarize what this PR does clearly and concisely?
  • Did you include performance data for changes which may be performance impacting?
  • Did you include useful docs for any user-facing changes or features?
  • Did you include useful javadocs for developer oriented changes, explaining new concepts or key changes?
  • Did you rebase your branch onto the latest main for regression testing and PR submission?
  • Did you trigger regression testing via Run Bench Main and review results?
  • Did you adhere to the code formatting guidelines (TBD)
  • Did you group your changes for easy review, providing meaningful descriptions for each commit?
  • Did you ensure that all files contain the correct copyright header?
  • Did you add documentation for this feature to the release notes directory?

If you did not complete any of these, then please explain below.

@MarkWolters
MarkWolters merged commit be57f39 into main Sep 18, 2026
13 of 17 checks passed
@MarkWolters
MarkWolters deleted the 4.0.2-SNAPSHOT branch September 18, 2026 13:55
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