On Wed, Aug 29, 2018 at 04:51:46PM +0800, Michael Chang wrote:
> Actually I also have a similar patch posted one month ago for the very same
> problem.
>
> https://lists.gnu.org/archive/html/grub-devel/2018-07/msg00103.html
>
> But as long as either way will do, I don't mind which one is going
Actually I also have a similar patch posted one month ago for the very same
problem.
https://lists.gnu.org/archive/html/grub-devel/2018-07/msg00103.html
But as long as either way will do, I don't mind which one is going to be
reviewed and eventually merged. :)
On Thu, Aug 23, 2018 at 02:12:56PM