debian/4.1P-fix95-3
a4599bad · Do not use freedesktop.org menu system but rather Debian Menu to not confuse... ·