Dear Glenn,
Am 13.05.22 um 00:46 schrieb Glenn Washburn:
On Thu, 12 May 2022 08:08:32 +0200 Paul Menzel wrote:
[…]
Am 12.05.22 um 05:07 schrieb Glenn Washburn:
Signed-off-by: Glenn Washburn
*Add documentation for …* could be abbreviated to *Document …* in the
git commit message summary.
On Thu, 12 May 2022 08:08:32 +0200
Paul Menzel wrote:
> Dear Glenn,
>
>
> Thank you for the patch. Two small nits.
>
> Am 12.05.22 um 05:07 schrieb Glenn Washburn:
> > Signed-off-by: Glenn Washburn
>
> *Add documentation for …* could be abbreviated to *Document …* in the
> git commit messag
Dear Glenn,
Thank you for the patch. Two small nits.
Am 12.05.22 um 05:07 schrieb Glenn Washburn:
Signed-off-by: Glenn Washburn
*Add documentation for …* could be abbreviated to *Document …* in the
git commit message summary.
---
docs/grub.texi | 23 +++
1 file ch
Signed-off-by: Glenn Washburn
---
docs/grub.texi | 23 +++
1 file changed, 23 insertions(+)
diff --git a/docs/grub.texi b/docs/grub.texi
index 3b5522b0a..50ef28edd 100644
--- a/docs/grub.texi
+++ b/docs/grub.texi
@@ -4202,6 +4202,7 @@ you forget a command, you can run the com
