Skip to content

Conversation

@dstansby
Copy link
Contributor

@dstansby dstansby commented May 8, 2025

I didn't get the chance to finish this, but I see no harm in merging the fixes I have now, and fixing the rest later.

@github-actions github-actions bot added the needs release notes Automatically applied to PRs which haven't added release notes label May 8, 2025
@dstansby dstansby force-pushed the typing-errors-consolidated branch from 091ea16 to 79f1880 Compare June 11, 2025 13:58
@dstansby dstansby removed the needs release notes Automatically applied to PRs which haven't added release notes label Jun 11, 2025
@dstansby dstansby marked this pull request as ready for review June 11, 2025 13:58
@dstansby
Copy link
Contributor Author

Meh, I can't be bothered sorting out the errors at the moment, so will close.

@dstansby dstansby closed this Jun 11, 2025
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