Merge ~juliank/grub/+git/ubuntu:ubuntu into ~ubuntu-core-dev/grub/+git/ubuntu:ubuntu
Proposed by
Julian Andres Klode
| Status: | Merged |
|---|---|
| Approved by: | Mathieu Trudel-Lapierre |
| Approved revision: | 913744107e433c266b8b6c832f6172420321f4dd |
| Merged at revision: | 913744107e433c266b8b6c832f6172420321f4dd |
| Proposed branch: | ~juliank/grub/+git/ubuntu:ubuntu |
| Merge into: | ~ubuntu-core-dev/grub/+git/ubuntu:ubuntu |
| Diff against target: |
105 lines (+53/-3) 5 files modified
debian/.git-dpm (+2/-2) debian/changelog (+8/-0) debian/patches/series (+1/-0) debian/patches/shorter_version_info.patch (+39/-0) grub-core/normal/main.c (+3/-1) |
| Related bugs: |
| Reviewer | Review Type | Date Requested | Status |
|---|---|---|---|
| Mathieu Trudel-Lapierre | Approve | ||
|
Review via email:
|
|||
Description of the change
Show the upstream version only in the screen, and hide the rest in a package_version variable for bug 1723434.
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.
Preview Diff
[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
Looks good. Feel free to merge this and upload.