Processing commands for control@bugs.debian.org: > owner 754932 Tomasz Buchert <tomasz.buchert@inria.fr> Bug #754932 [wnpp] ITP: tiptop -- performance monitoring tool for Linux Owner recorded as Tomasz Buchert <tomasz.buchert@inria.fr>. > thanks Stopping processing here. Please contact me if you need assistance. -- 754932: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=754932 Debian Bug Tracking System Contact owner@bugs.debian.org with problems