Skip to content
Snippets Groups Projects
Commit ff303d26 authored by Ruben Rodriguez's avatar Ruben Rodriguez
Browse files

debian-installer: Fix mini.iso boot on EFI systems

parent 1948a704
No related branches found
No related tags found
No related merge requests found
Pipeline #763 failed with stage
in 0 seconds