Processing commands for control@bugs.debian.org: > owner 797411 Robert Millan <rmh@debian.org> Bug #797411 [wnpp] ITP: rumpkernel -- Rump kernel libraries Owner recorded as Robert Millan <rmh@debian.org>. > stop Stopping processing here. Please contact me if you need assistance. -- 797411: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=797411 Debian Bug Tracking System Contact owner@bugs.debian.org with problems