Merge "lib.sh: rm Ubuntu boot entry on EFI systems"
authorAlexandru Avadanii <Alexandru.Avadanii@enea.com>
Mon, 30 Oct 2017 17:16:07 +0000 (17:16 +0000)
committerGerrit Code Review <gerrit@opnfv.org>
Mon, 30 Oct 2017 17:16:07 +0000 (17:16 +0000)

Trivial merge