Allow case-insensitive ok
or OK
replies from pluggable discoveries and monitors#1633
Merged
cmaglie merged 3 commits intoarduino:masterfrom Jan 24, 2022
ok
or OK
replies from pluggable discoveries and monitors#1633