Skip to content

Conversation

@jackaraz
Copy link
Member

This PR addresses a very minor bug that occasionally occurs.

@jackaraz jackaraz requested a review from BFuks September 25, 2025 12:44
@github-actions
Copy link

Hello. You may have forgotten to update the changelog!
Please edit doc/releases/changelog-dev.md with:

  • A one-to-two sentence description of the change. You may include a small working example for new features.
  • A link back to this PR.
  • Your name (or GitHub username) in the contributors section.

@jackaraz jackaraz added the 🐛bug Something isn't working label Sep 25, 2025
@jackaraz jackaraz merged commit a755b8a into main Oct 2, 2025
1 of 2 checks passed
@jackaraz jackaraz deleted the wee_bugs branch October 2, 2025 08:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

🐛bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants