Le lundi 07 janvier 2013 à 11:41 +0100, Josselin Mouette a écrit : > gnome-menus (3.4.2-7) unstable; urgency=low > > * gnome-menus.postinst: clean up the desktop files once upon upgrades, > in order to get rid of files generated by a buggy script. Ping? -- .''`. Josselin Mouette : :' : `. `' `-