Skip to content

Conversation

@jshook
Copy link
Contributor

@jshook jshook commented Sep 22, 2025

This merely removes a duplicitous header which was added when I "updated" changelog. The changelog logic doesn't know how to reconcile deltas to the same labeled section yet.

@github-actions
Copy link
Contributor

github-actions bot commented Sep 22, 2025

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 trigger and review regression testing results against the base branch via Run Bench Main?
  • 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?

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

Copy link
Collaborator

@tlwillke tlwillke left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for catching.

@tlwillke tlwillke merged commit 5a96d28 into main Oct 10, 2025
13 checks passed
@tlwillke tlwillke deleted the fixheader branch October 10, 2025 23:13
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.

5 participants