Processed: ITA: ketchup -- update utility for linux-kernel sources
Processing commands for control@bugs.debian.org:
> retitle 568572 ITA: ketchup -- update utility for linux-kernel sources
Bug #568572 [wnpp] O: ketchup -- update utility for linux-kernel sources
Changed Bug title to 'ITA: ketchup -- update utility for linux-kernel sources' from 'O: ketchup -- update utility for linux-kernel sources'
> owner 568572 Johann Felix Soden <johfel@gmx.de>
Bug #568572 [wnpp] ITA: ketchup -- update utility for linux-kernel sources
Owner changed from baruch@debian.org to Johann Felix Soden <johfel@gmx.de>.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
568572: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=568572
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: