rename ArduinoLightMDNS to LightMDNS#5395

Merged

MatteoPologruto merged 2 commits intoarduino:mainfrom

matthewgream:main

Nov 12, 2024

Commits on Nov 11, 2024

renameArduinoLightMDNS to LightMDNS
matthewgream
authored

Commits on Nov 12, 2024

Merge branch 'main' into main
matthewgream
authored