[opensuse-arm] Please trigger rebuild - openSUSE:13.1:Ports > gnome-menus-branding-openSUSE

Hi, Could you (Dirk or Alex), trigger rebuild of openSUSE:13.1:Ports > gnome-menus-branding-openSUSE. It will fix most E17 and XFCE images. Guillaume -- To unsubscribe, e-mail: opensuse-arm+unsubscribe@opensuse.org To contact the owner, e-mail: opensuse-arm+owner@opensuse.org