Fix `core search` not showing board name for 3rd party cores#556

Merged

masci merged 2 commits intomasterfrom

Jan 20, 2020

Commits on Jan 14, 2020

use a real archive as a fake core

Massimiliano Pippi
authored and
masci
committed
fix core search for 3rd party cores with tests

Massimiliano Pippi
authored and
masci
committed