Skip to content

Conversation

@squell
Copy link
Member

@squell squell commented Mar 25, 2025

(Note: this PR conflicts with #1040, so it should only be merged if we determine that we are not going to merge that one)

@squell squell added documentation Improvements or additions to documentation minor minor issue, PR without an issue labels Mar 25, 2025
@squell squell enabled auto-merge (rebase) March 26, 2025 17:34
@squell squell disabled auto-merge March 26, 2025 17:34
@squell squell merged commit 961eb69 into main Mar 26, 2025
14 checks passed
@squell squell deleted the fix-title branch March 26, 2025 17:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation minor minor issue, PR without an issue

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants