Re: U-boot menu support in Debian

[Riku Voipio]

On Tue, Jan 17, 2017 at 03:59:33PM +0000, Riku Voipio wrote:
> I guess I'll push it to it's own package, since not all u-boot-tools
> may want a menu.

Done now:
https://tracker.debian.org/pkg/u-boot-menu