Library name change request

[dido18]

Library repository URL

https://github.com/arduino-libraries/Arduino_Modulino

[dido18]

The Arduino Modulino was renamed from Modulino to Arduino Modulino to reflect the policy.

The last available version is 0.5.1, while the '0.5.2and0.6.0' are failing.

https://downloads.arduino.cc/libraries/logs/github.com/arduino-libraries/Arduino_Modulino/

[per1234]

Hi @dido18. I am confirming your request.

Unlike submissions, this type of request is still handled manually. The Library Manager index maintainer occasionally comes through to clear all the outstanding requests. They will close this issue when it is done. You will get a notification from GitHub at that time.

After that, you can monitor the indexing of the library via its dedicated logs web page.
Information about that here:
https://github.com/arduino/library-registry/blob/main/FAQ.md#can-i-check-on-library-releases-being-added-to-library-manager