Merge lp:~darkxst/gnome-terminal/shell-search into lp:~ubuntu-desktop/gnome-terminal/ubuntu
Proposed by
Tim Lunn
Status: | Merged | ||||
---|---|---|---|---|---|
Merged at revision: | 138 | ||||
Proposed branch: | lp:~darkxst/gnome-terminal/shell-search | ||||
Merge into: | lp:~ubuntu-desktop/gnome-terminal/ubuntu | ||||
Diff against target: |
190 lines (+149/-2) 5 files modified
debian/changelog (+9/-0) debian/gnome-terminal-data.install (+1/-1) debian/patches/gnome-shell_search_provider.patch (+137/-0) debian/patches/series (+1/-0) debian/rules (+1/-1) |
||||
To merge this branch: | bzr merge lp:~darkxst/gnome-terminal/shell-search | ||||
Related bugs: |
|
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Ubuntu Desktop | Pending | ||
Review via email: mp+238514@code.launchpad.net |
Description of the change
We want the gnome-shell search provider to be built. Rather than requiring a build-dep on gnome-shell, this adds a local copy of the org.gnome.
To post a comment you must log in.