Remove ui/ from TESTNAME for foo lint example#4501

Merged

bors merged 1 commit intorust-lang:masterfrom

derivmug:update-lint-doc

Sep 4, 2019

Commits on Sep 4, 2019

Remove ui/ from TESTNAME for foo lint example
lucabeetz
committed