Skip to content

Conversation

per1234
Copy link
Contributor

@per1234 per1234 commented Oct 20, 2025

This repository was submitted multiple times (same URL, but with the name being changed in the interim).

This registry entry is outdated (the other registration has the newer name) and so must be removed to keep the registry tidy.


Companion to #7112

This repository was submitted multiple times (same URL, but with the name being changed in the interim).

This registry entry is outdated (the other registration has the newer name) and so must be removed to keep the registry
tidy.
@per1234 per1234 added topic: removal Remove library from the list status: pending backend Depends on backend maintenance operations labels Oct 20, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

status: pending backend Depends on backend maintenance operations topic: removal Remove library from the list

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant