Re: [PATCH 09/17] binman: Drop the filename property in entry_Section