Add "Manage libraries..." to the "Tools" menu too and add a shortcut for it.#6638

cmaglie merged 5 commits intomasterarduino/Arduino:masterfrom

unknown repositoryCopy head branch name to clipboard