Processing control commands: > tags -1 patch Bug #762510 [cinnamon] cinnamon: use Debian logo for the Menu button Added tag(s) patch. -- 762510: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=762510 Debian Bug Tracking System Contact owner at bugs.debian.org with problems