Re: [PATCH] Fix missing root pool in 10_linux: successfully built GRUB w

grub-devel

From:	gyc
Subject:	Re: [PATCH] Fix missing root pool in 10_linux: successfully built GRUB with both patches on Arch Linux
Date:	Sun, 3 Jan 2021 22:51:26 +0800

Forgot to say, I've successfully built GRUB with both patches
applied on Arch Linux on commit
635ef55ed1252f92fe3bf70caefd185dcc507c43.

Current Thread

[Next in Thread]

[PATCH] Fix missing root pool in 10_linux, ja, 2021/01/03
- Re: [PATCH] Fix missing root pool in 10_linux: better wording; add intructions when fail, gyc, 2021/01/03
  - Re: [PATCH] Fix missing root pool in 10_linux: successfully built GRUB with both patches on Arch Linux, gyc <=
  - Re: [PATCH] Fix missing root pool in 10_linux: remove duplicate word 'export', gyc, 2021/01/03