[arduino-lint] Fix: library has been published, check library-manager flag to "update".#31

aentinger merged 1 commit intomainarduino-libraries/Arduino_OPC_UA:mainfrom

aentinger-patch-arduino-lintarduino-libraries/Arduino_OPC_UA:aentinger-patch-arduino-lintCopy head branch name to clipboard