Ubuntu
gnome-menus package

Bug #1786239
Comment #2

Comment 2 for bug 1786239

Revision history for this message

Michael Fritscher (michael-fritscher) wrote on 2018-08-09:

#2

dist-upgrade.tar.gz Edit (1.8 MiB, application/x-tar)

Here it is ;)