Dropping gnu-efi.patch, included upstream.
commit68cc0968fb1d3fa5b7a11d0a1d5a97c3cc479a41
authorDaniel Baumann <mail@daniel-baumann.ch>
Mon, 10 Jun 2013 16:03:03 +0000 (10 18:03 +0200)
committerDaniel Baumann <mail@daniel-baumann.ch>
Mon, 10 Jun 2013 16:03:32 +0000 (10 18:03 +0200)
tree1859388c398e6239e5fa58523639459a128ed337
parente731267db61d39d1d2f60c2feff2740896176c17
Dropping gnu-efi.patch, included upstream.
debian/patches/0009-gnu-efi.patch [deleted file]
debian/patches/series