If a new menu file format is part of this, it would be a good chance to move the menu files to /usr/share where they belong (except for the executable ones, but I doubt that's really used much :-) -- see shy jo -- To UNSUBSCRIBE, email to debian-devel-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org