Processing commands for [email protected]: > user [email protected] Setting user to [email protected] (was [email protected]). > package devscripts Ignoring bugs not assigned to: devscripts
> usertags 535252 checkbashisms Bug#535252: checkbashisms doesn't detect "source" There were no usertags set. Usertags are now: checkbashisms. > retitle 535252 [checkbashisms] Doesn't detect use of source with a single > character argument Bug#535252: checkbashisms doesn't detect "source" Changed Bug title to `[checkbashisms] Doesn't detect use of source with a single character argument' from `checkbashisms doesn't detect "source"'. > End of message, 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].
