Re: [U-Boot] Bootmenu-patch

On Tue, Nov 20, 2018 at 04:21:56PM +0100, Frank Wunderlich wrote:

Hi Tom,

Have take a look over my Patch posted in October:

https://lists.denx.de/pipermail/u-boot/2018-October/343215.html

It's a small Patch and should not break anything.

I'll take a look soon, thanks for the reminder.