Processing commands for cont...@bugs.debian.org: > retitle 834307 ITA: obmenu -- Graphical menu editor for openbox Bug #834307 [wnpp] O: obmenu -- Graphical menu editor for openbox Changed Bug title to 'ITA: obmenu -- Graphical menu editor for openbox' from 'O: obmenu -- Graphical menu editor for openbox'. > owner 834307 ! Bug #834307 [wnpp] ITA: obmenu -- Graphical menu editor for openbox Owner recorded as diego sarzi <diegosa...@gmail.com>. > End of message, stopping processing here.
Please contact me if you need assistance. -- 834307: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=834307 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
