Ubuntu
menu package

  1. Bug #42402
  2. Comment #1

Comment 1 for bug 42402

Revision history for this message
Michael Vogt (mvo) wrote :

Thanks for your bugreport.

There is some discussion here about this http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=37716