bug-grub
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: grub make error


From: Daniel Kiper
Subject: Re: grub make error
Date: Wed, 20 Mar 2019 13:00:05 +0100
User-agent: NeoMutt/20170113 (1.7.2)

On Wed, Mar 20, 2019 at 01:19:30AM +0000, Chen, Farrah wrote:
> Thank you for great help!

You are welcome! Patch has been pushed.

Daniel



reply via email to

[Prev in Thread] Current Thread [Next in Thread]