Processing commands for [email protected]: > user [email protected] Setting user to [email protected] (was [email protected]). > usertags 521396 licensecheck Bug#521396: [devscripts] [licensecheck] fails to detect GPL if some other decorations are used There were no usertags set. Usertags are now: licensecheck. > retitle 521396 [licensecheck] Fails to detect license inside C style /* > comments Bug#521396: [devscripts] [licensecheck] fails to detect GPL if some other decorations are used Changed Bug title to `[licensecheck] Fails to detect license inside C style /* comments' from `[devscripts] [licensecheck] fails to detect GPL if some other decorations are used'.
> 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].
