Skip to content

Conversation

@shreddedbacon
Copy link
Member

General Checklist

  • Affected Issues have been mentioned in the Closing issues section
  • Documentation has been written/updated
  • PR title is ready for inclusion in changelog

More adjustments for #381

@shreddedbacon shreddedbacon marked this pull request as ready for review October 24, 2024 04:50
@shreddedbacon shreddedbacon merged commit 4fd7d53 into main Oct 24, 2024
@shreddedbacon shreddedbacon deleted the more-linting branch October 24, 2024 04:50
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.

2 participants