On Tue, Apr 15, 2025 at 08:08:12PM -0500, Eric Sandeen via Grub-devel wrote: > Can I bribe someone to merge this fix, perhaps? ;) > > On 3/27/25 2:48 PM, Eric Sandeen wrote: > > Grub folks, ping on this? It has 2 reviews and testing but I don't see it > > merged yet. Huh! This somehow fallen through the cracks. Sorry about that... Reviewed-by: Daniel Kiper <daniel.kiper@xxxxxxxxxx> Daniel
