Skip to content

Conversation

per1234
Copy link
Contributor

@per1234 per1234 commented Aug 4, 2024

Companion to #4922

@per1234 per1234 added topic: removal Remove library from the list status: pending backend Depends on backend maintenance operations labels Aug 4, 2024
@per1234 per1234 self-assigned this Aug 4, 2024
@per1234
Copy link
Contributor Author

per1234 commented Aug 4, 2024

Closing as duplicate of #4928

@per1234 per1234 closed this Aug 4, 2024
@per1234 per1234 added conclusion: duplicate Has already been submitted and removed status: pending backend Depends on backend maintenance operations labels Aug 4, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
conclusion: duplicate Has already been submitted topic: removal Remove library from the list
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant