Skip to content

Conversation

@bleggett
Copy link
Contributor

As of #133 none of this is necessary anymore (and the mainline kernels have been rebuilt), so delete/move.

none of this is necessary anymore, so delete/move
@kaniini kaniini merged commit 2d459b5 into main Nov 13, 2025
5 checks passed
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.

4 participants