Re: [PATCH v2 02/18] docs/grub: --pubkey has been supported for some time

On Wed, Oct 28, 2020 at 12:57:19PM +1100, Daniel Axtens wrote: > --pubkey is supported, so we can now document it. > > Signed-off-by: Daniel Axtens Reviewed-by: Daniel Kiper Daniel ___ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/

[PATCH v2 02/18] docs/grub: --pubkey has been supported for some time

--pubkey is supported, so we can now document it. Signed-off-by: Daniel Axtens --- docs/grub.texi | 12 +++- 1 file changed, 3 insertions(+), 9 deletions(-) diff --git a/docs/grub.texi b/docs/grub.texi index 6cbd753d12fd..6bac37728042 100644 --- a/docs/grub.texi +++ b/docs/grub.texi @@