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: mp+358051@code.staging.launchpad.net
To post a comment you must log in.

There was an error fetching revisions from git servers. Please try again in a few minutes. If the problem persists, contact Launchpad support.

Subscribers

People subscribed via source and target branches