Merge ~ubuntu-core-dev/grub/+git/ubuntu:lp.1800722 into ~ubuntu-core-dev/grub/+git/ubuntu:ubuntu

Proposed by Steve Langasek
Status: Merged
Merged at revision: e52002f7492a34e3f82f1e31a8f96a295f6b1162
Proposed branch: ~ubuntu-core-dev/grub/+git/ubuntu:lp.1800722
Merge into: ~ubuntu-core-dev/grub/+git/ubuntu:ubuntu
Reviewer Review Type Date Requested Status
Mathieu Trudel-Lapierre Pending
Review via email:
To post a comment you must log in.

Diff calculation failed

Calculating the branch diff failed. You can manually schedule an update if required.


People subscribed via source and target branches