Re: [PATCH v2 11/28] buildman: Use spaces in the board list