Thanks. I've uploaded this along with https://git.gnome.org/browse/gnome-panel/commit/?id=f555042
« Back to merge proposal
Thanks. I've uploaded this along with https:/ /git.gnome. org/browse/ gnome-panel/ commit/ ?id=f555042