Thank you. I've committed. https://git.gnome.org/browse/gnome-shell-extensions/commit/?id=17663f5f200716d148921061d7028db3ac6bc03d
On Thu, Sep 12, 2013 at 1:24 AM, Frederic Peters <[email protected]> wrote: > Matthias Clasen wrote: > >> > The bug is: >> > The order of the favorite apps in the application menu, differs in >> > that used in the dash >> > https://bugzilla.gnome.org/show_bug.cgi?id=704248 > [...] >> >> +1 for the release team. > > Seconded. (hopefully it's fine for the design team) > > > Fred -- Jiro Matsuzawa E-mail: [email protected] [email protected] GPG Key ID: 0xECC442E9 GPG Key Fingerprint: E086 C14A 869F BB0E 3541 19EB E370 B08B ECC4 42E9 _______________________________________________ gnome-doc-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-doc-list
