Fixed Boards and Libraries Manager "filters" persistence#10541

cmaglie merged 4 commits intoarduino:masterarduino/Arduino:masterfrom

cmaglie:board-lib-manager-fixescmaglie/Arduino:board-lib-manager-fixesCopy head branch name to clipboard