Hello > can anybody find out what the status of update-menu in Debian's menu package > is, possibly debug the problem and follow up on bug report #72175? I think this sounds like what I reported once, see thread http://lists.debian.org/debian-hurd/2001/debian-hurd-200107/msg00126.html and my bug report #105674 or maybe its another one Fabian