Re: [PATCH 1/1] git-mailrc: remove invalid entry 'efi'

Hi Heinrich, On Tue, 9 Aug 2022 at 23:26, Heinrich Schuchardt wrote: > > > > On 8/9/22 21:51, Simon Glass wrote: > > Hi Heinrich, > > > > On Mon, 8 Aug 2022 at 13:51, Heinrich Schuchardt > > wrote: > >> > >> Remove alias 'efi' with invalid data. > >> > >> Signed-off-by: Heinrich Schuchardt > >>

Re: [PATCH 1/1] git-mailrc: remove invalid entry 'efi'

On 8/9/22 21:51, Simon Glass wrote: Hi Heinrich, On Mon, 8 Aug 2022 at 13:51, Heinrich Schuchardt wrote: Remove alias 'efi' with invalid data. Signed-off-by: Heinrich Schuchardt --- doc/git-mailrc | 1 - 1 file changed, 1 deletion(-) Sorry for the dumb questions, but what is invalid

Re: [PATCH 1/1] git-mailrc: remove invalid entry 'efi'

Hi Heinrich, On Mon, 8 Aug 2022 at 13:51, Heinrich Schuchardt wrote: > > Remove alias 'efi' with invalid data. > > Signed-off-by: Heinrich Schuchardt > --- > doc/git-mailrc | 1 - > 1 file changed, 1 deletion(-) Sorry for the dumb questions, but what is invalid about it? > > diff --git a/doc/

[PATCH 1/1] git-mailrc: remove invalid entry 'efi'

Remove alias 'efi' with invalid data. Signed-off-by: Heinrich Schuchardt --- doc/git-mailrc | 1 - 1 file changed, 1 deletion(-) diff --git a/doc/git-mailrc b/doc/git-mailrc index b00c278190..96623c3b4e 100644 --- a/doc/git-mailrc +++ b/doc/git-mailrc @@ -111,7 +111,6 @@ alias x86ub