Prevent duplicate entries in board_manager.additional_urls#1902
Merged
cmaglie merged 5 commits intoarduino:masterfrom Oct 5, 2022
henrygab:uniquify_config_arrays
Merged
Prevent duplicate entries in board_manager.additional_urls#1902cmaglie merged 5 commits intoarduino:masterfrom henrygab:uniquify_config_arrays
cmaglie merged 5 commits intoarduino:masterfrom
henrygab:uniquify_config_arrays
