[Merge] ~juliank/grub/+git/ubuntu:ubuntu into ~ubuntu-core-dev/grub/+git/ubuntu:ubuntu

[Julian Andres Klode]

It's not clear to me why git-dpm removed the patches it removed, but it seems they're not in the series file anyway?
-- 
https://code.launchpad.net/~juliank/grub/+git/ubuntu/+merge/385358
Your team Ubuntu Core Development Team is requested to review the proposed merge of ~juliank/grub/+git/ubuntu:ubuntu into ~ubuntu-core-dev/grub/+git/ubuntu:ubuntu.