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 |
Related bugs: |
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Mathieu Trudel-Lapierre | Pending | ||
Review via email: mp+358051@code.launchpad.net |
To post a comment you must log in.