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:
|
|||
To post a comment you must log in.
Diff calculation failed
Calculating the branch diff failed. You can manually schedule an update if required.
