1 Commits

Author	SHA1	Message	Date
Hans de Goede	22f01e4be7	Add downstream patches implementing the "Boot Options" menu from: ... https://wiki.gnome.org/Design/OS/BootOptions	2018-09-27 09:26:30 +02:00