Commit 0468f638 authored by Guido Gunther's avatar Guido Gunther

Merge branch 'no-extlinux' into 'master'

Don't try to run extlinux

See merge request !157
parents b61def76 e8e7142b
Pipeline #50456 passed with stage
in 26 seconds