Bug#692141: closed by Josselin Mouette (Bug#692141: fixed in gnome-menus 3.4.2-5)

[Fabian Greffrath]

found -1 3.8.0-2

Somehow this got lost. The bug is present again in gnome-menus_3.8.0-2.


-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org