ops: quench linter warning about lib manager#32

eigen-value merged 1 commit intomainarduino-libraries/Arduino_RPClite:mainfrom

linter_warningarduino-libraries/Arduino_RPClite:linter_warningCopy head branch name to clipboard