Skip to content

Conversation

@cleptric
Copy link
Member

We forgot to remove none when shipping 4.0, so let's do it now 😄
Initial PR #1397.

@cleptric cleptric self-assigned this Oct 21, 2025
@cleptric cleptric added the 5.x label Oct 21, 2025
@cleptric cleptric merged commit 38c5b2c into 5.x Oct 21, 2025
38 checks passed
@cleptric cleptric deleted the cleanup-option branch October 21, 2025 15:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants