Skip to content

Conversation

@mika
Copy link
Member

@mika mika commented Oct 13, 2025

This file is clearly not up2date anymore, though also not linked/used anywhere AFAIK, so drop it.

Thanks: cacin

This file is clearly not up2date anymore, though also
not linked/used anywhere AFAIK, so drop it.

Thanks: cacin
@mika mika requested review from jkirk and zeha October 13, 2025 08:26
@zeha zeha merged commit 3973f18 into master Oct 13, 2025
1 check passed
@mika mika deleted the mika/keys branch October 13, 2025 08:47
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.

3 participants