Processing commands for control@bugs.debian.org: > owner 1017914 gurkan@phys.ethz.ch Bug #1017914 [wnpp] ITP: seergdb -- gui frontend to gdb Owner recorded as gurkan@phys.ethz.ch. > thanks Stopping processing here. Please contact me if you need assistance. -- 1017914: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1017914 Debian Bug Tracking System Contact owner@bugs.debian.org with problems