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

2020-04-23 Thread Leif Lindholm
On Thu, Apr 16, 2020 at 15:03:44 +0200, Hans Ulrich Niedermann wrote: > Fix minor mistakes like spelling errors, missing articles > like 'a' and 'the', wrong word order, unnecessary trailing > spaces, missing periods, and similar things. > > This patch does not change the intended meaning of the

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

2020-04-16 Thread Hans Ulrich Niedermann
Fix minor mistakes like spelling errors, missing articles like 'a' and 'the', wrong word order, unnecessary trailing spaces, missing periods, and similar things. This patch does not change the intended meaning of the text and only touches about the first 1300 of about 7000 lines in