Fix: change arduino-lint "library-manager" field to update, since the library is now in the library index.#19

Merged

aentinger merged 1 commit intomasterfrom aentinger-patch-1

Dec 11, 2023

+1-1

Commits on Dec 11, 2023

Fix: change arduino-lint "library-manager" field to update, since the library is now in the library index.
aentinger
authored