* menu-arrows-icons: new patch. Make arrows consistent with the rest
of the shell.
* apps-center-labels.patch: patch from upstream git. Center labels
vertically in the applications menu.
* window-list-pointerInNotification.patch: patch from upstream git.
Update window-list extension for an older shell API change.
Josselin Mouette