Subject: Re: [bug#38809] [PATCH] bootloader: grub: Add resolution override.
From: Jan Nieuwenhuizen <[email-masked]>
To: Danny Milosavljevic <[email-masked]>
Cc: Tobias Geerinckx-Rice <[email-masked]>, [email-masked]
Date: Tue, 07 Jan 2020 21:29:45 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Danny Milosavljevic writes:

Hi Danny, Tobias,

> Yes, it should be fine.  Thanks!  LGTM.

After chatting with Tobias on irc, pushed to master as a23091880d4dc6115acbfa3b7ef09d731fc5abb0

Greetings,
janneke

-- 
Jan Nieuwenhuizen <[email-masked]> | GNU LilyPond http://lilypond.org
Freelance IT http://JoyofSource.com | Avatar® http://AvatarAcademy.com