4
16
2
3
3
2
2
1

May 24, 2020
2
1
2
1

May 21, 2020
4
8

May 21, 2020
3
2

[PATCH v2 1/3] boot: Extend `etc/show-boot-menu` to configure skipping boot menu with only one device
by Paul Menzel May 21, 2020
by Paul Menzel May 21, 2020
May 21, 2020
2
3
2
1