So i moved the libraries prperties to the hyperion since i made the f…#5873

MatteoPologruto merged 2 commits intoarduino:mainarduino/library-registry:mainfrom

gi0rg0sPapamichail:patch-3gi0rg0sPapamichail/library-registry:patch-3Copy head branch name to clipboard