Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove kruft #1182

Closed
wants to merge 21 commits into from
Closed

Remove kruft #1182

wants to merge 21 commits into from

Conversation

zancas
Copy link
Member

@zancas zancas commented Jun 1, 2024

Builds on #1181

@zancas zancas requested a review from Oscar-Pepper June 1, 2024 05:51
@zancas zancas added the lower priority this PR is not the highest priority for the author label Jun 2, 2024
@zancas zancas marked this pull request as draft June 3, 2024 19:53
@zancas
Copy link
Member Author

zancas commented Aug 18, 2024

This is obsolete.

@zancas zancas closed this Aug 18, 2024
@zancas zancas deleted the remove_kruft branch November 30, 2024 05:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
lower priority this PR is not the highest priority for the author
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant