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.