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'.

Reply via email to