On Sat, Jul 23, 2011 at 4:41 AM, Ben Cooksley <bcooks...@kde.org> wrote:
> @Matthias: please explain how this doesn't solve the issue. It certainly solves the immediate symptom of 'two things in the menu are named the same'. _______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/desktop-devel-list