Processing commands for control@bugs.debian.org: > owner 303940 baruch@debian.org Bug#303940: ITP: ketchup -- update utility for linux-kernel sources Owner recorded as baruch@debian.org. > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)