This bug was fixed in the package gnome-menus - 3.8.0-1ubuntu4
--------------- gnome-menus (3.8.0-1ubuntu4) saucy; urgency=low
* Update some of the directory icon names (LP: #1201128) -- Jeremy Bicha <email address hidden> Sun, 08 Sep 2013 14:31:02 -0400
This bug was fixed in the package gnome-menus - 3.8.0-1ubuntu4
---------------
gnome-menus (3.8.0-1ubuntu4) saucy; urgency=low
* Update some of the directory icon names (LP: #1201128)
-- Jeremy Bicha <email address hidden> Sun, 08 Sep 2013 14:31:02 -0400