Re: [PATCH 0/1] docs: Fix numerous minor mistakes in grub.info

2020-04-17 Thread Daniel Kiper
On Thu, Apr 16, 2020 at 05:39:02PM +0200, Hans Ulrich Niedermann wrote: > On Thu, 16 Apr 2020 16:27:02 +0200 > Daniel Kiper wrote: > > > On Thu, Apr 16, 2020 at 03:03:43PM +0200, Hans Ulrich Niedermann > > wrote: > > > This patch does not change the intended meaning of the text > > > and only touc

Re: [PATCH 0/1] docs: Fix numerous minor mistakes in grub.info

2020-04-16 Thread Hans Ulrich Niedermann
On Thu, 16 Apr 2020 16:27:02 +0200 Daniel Kiper wrote: > On Thu, Apr 16, 2020 at 03:03:43PM +0200, Hans Ulrich Niedermann > wrote: > > This patch does not change the intended meaning of the text > > and only touches about the first 1300 of about 7000 lines > > in docs/grub.texi. If there is inter

Re: [PATCH 0/1] docs: Fix numerous minor mistakes in grub.info

2020-04-16 Thread Daniel Kiper
Hi Hans, On Thu, Apr 16, 2020 at 03:03:43PM +0200, Hans Ulrich Niedermann wrote: > This patch does not change the intended meaning of the text > and only touches about the first 1300 of about 7000 lines > in docs/grub.texi. If there is interest in picking up this > patch, I intend to read through

[PATCH 0/1] docs: Fix numerous minor mistakes in grub.info

2020-04-16 Thread Hans Ulrich Niedermann
This patch does not change the intended meaning of the text and only touches about the first 1300 of about 7000 lines in docs/grub.texi. If there is interest in picking up this patch, I intend to read through the rest of grub.texi as well to find more of these easy fixes while adding remarks for bi