Re: [U-Boot] [PATCH 1/3] buildman: Drop comment about Ctrl-C problem