Processing commands for control@bugs.debian.org: > #Adopted by Wookey and Punit Agrawal > close 847638 Bug #847638 [wnpp] O: global -- Source code search and browse tools Marked Bug as done > thanks Stopping processing here. Please contact me if you need assistance. -- 847638: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=847638 Debian Bug Tracking System Contact owner@bugs.debian.org with problems