Ubuntu
gnome-shell package

  1. Bug #1790996
  2. Comment #7

Comment 7 for bug 1790996

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

Great fix (if that's what it is). Thanks! Please just add some more information:

1. Mention (LP: #1790996) in the changelog:

   * Add misc/desktop.js to pref's gresource.xml (LP: #1790996)

2. Merge your change into 50_add_ubuntu_desktop_detect.patch. You can do that by learning about 'quilt' command.

- or -

2. Add more details to the top of the patch:

Description: Add deskpop.js to prefs gresource xml
Author: Shem Pasamba <email address hidden>
Bug-Ubuntu: https://bugs.launchpad.net/bugs/1790996
Forwarded: not-needed
Last-Update: 2018-09-06