On Tue, May 19, 2020 at 11:39:42PM +0200, Paul Menzel wrote:
Concerns were raised, that skipping the boot menu, if only one device is present, might make debugging issues more difficult. So, extend the current runtime configuration option `etc/show-boot-menu` to enable this feature by setting it to 2.
Thanks. I committed patch 1 and 2.