Update name of "Arduino_Modulino"#7119

MatteoPologruto merged 1 commit intoarduino:productionarduino/library-registry:productionfrom

per1234:rename-Arduino_Modulinoper1234/library-registry:rename-Arduino_ModulinoCopy head branch name to clipboard