Processing commands for [email protected]: > user [email protected] Setting user to [email protected] (was [email protected]). > usertag 510345 checkbashisms Bug#510345: devscripts: checkbashisms does not detect bash function 'source' There were no usertags set. Usertags are now: checkbashisms. > # Add a version that's been in unstable and will > # therefore be in squeeze > found 510345 2.10.35 Bug#510345: devscripts: checkbashisms does not detect bash function 'source' Bug marked as found in version 2.10.35.
> retitle 510345 [checkbashisms] Doesn't detect the use of source with no path > information Bug#510345: devscripts: checkbashisms does not detect bash function 'source' Changed Bug title to `[checkbashisms] Doesn't detect the use of source with no path information' from `devscripts: checkbashisms does not detect bash function 'source''. > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database) -- To unsubscribe, send mail to [email protected].
