Skip to content

Conversation

@seisman
Copy link
Member

@seisman seisman commented Oct 15, 2025

See comment #4090 (comment).

@seisman seisman added maintenance Boring but important stuff for the core devs skip-changelog Skip adding Pull Request to changelog needs review This PR has higher priority and needs review. labels Oct 15, 2025
@seisman seisman added this to the 0.18.0 milestone Oct 15, 2025
@seisman seisman removed the needs review This PR has higher priority and needs review. label Oct 15, 2025
@seisman seisman merged commit a90e630 into main Oct 15, 2025
12 checks passed
@seisman seisman deleted the remove/requirements.txt branch October 15, 2025 01:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

maintenance Boring but important stuff for the core devs skip-changelog Skip adding Pull Request to changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants