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].

Reply via email to