Skip to content

Conversation

@per1234
Copy link
Contributor

@per1234 per1234 commented Jul 27, 2021

#287

Note that this request is a combination of two registry modifications:

Copy link
Contributor

@rsora rsora left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Related operations on the crawler are done 👍

@rsora rsora merged commit 562a0e3 into arduino:production Jul 27, 2021
@per1234 per1234 deleted the rename-287 branch July 27, 2021 15:39
@rsora rsora added topic: URL change Change library repository URL topic: modification Change existing list entry labels Sep 22, 2021
@per1234 per1234 removed the topic: URL change Change library repository URL label Oct 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

topic: modification Change existing list entry

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants