-
Committer:
Package Import Robot
-
Author(s):
Mike Gabriel
-
Date:
2014-12-12 10:33:09 UTC
-
Revision ID:
package-import@ubuntu.com-20141212103309-dsxs78c0470bgbos
Tags: 1.8.0-4
Follow-up fix for #769418: Install main-menu to
/usr/lib/gnome-main-menu, not directly into /usr/lib.