Skip to content

Organize headers#805

Merged
landinjm merged 2 commits intoprisms-center:masterfrom
landinjm:organize
Feb 12, 2026
Merged

Organize headers#805
landinjm merged 2 commits intoprisms-center:masterfrom
landinjm:organize

Conversation

@landinjm
Copy link
Contributor

  • Please check if the PR fulfills these requirements
  • The PR follows our guidelines (formatting & style)
  • Tests for the changes have been added (for bug fixes / features)
  • Docs have been added / updated (for bug fixes / features)
  • What kind of change does this PR introduce? (Bug fix, feature, docs update, ...)

  • What is the current behavior? (You can also link to an open issue here)

  • What is the new behavior (if this is a feature change)?

  • Does this PR introduce a breaking change? (What changes might users need to make in their application due to this PR?)

  • Other information:

@landinjm landinjm enabled auto-merge February 12, 2026 18:06
@landinjm landinjm added this pull request to the merge queue Feb 12, 2026
Merged via the queue into prisms-center:master with commit 42122da Feb 12, 2026
3 checks passed
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