Processed: user devscripts at packages.debian.org, usertagging 844910, usertagging 840943, usertagging 835919 ...

Debian Bug Tracking System owner at bugs.debian.org
Wed Nov 23 18:12:15 UTC 2016


Processing commands for control at bugs.debian.org:

> user devscripts at packages.debian.org
Setting user to devscripts at packages.debian.org (was jamessan at debian.org).
> usertags 844910 debuild
There were no usertags set.
Usertags are now: debuild.
> usertags 840943 uscan
There were no usertags set.
Usertags are now: uscan.
> usertags 835919 mk-build-deps
There were no usertags set.
Usertags are now: mk-build-deps.
> retitle 835919 [mk-build-deps] please add "--extra-packages" option to install arbitrary extra packages
Bug #835919 [src:devscripts] devscripts: please add "--extra-packages" option to install arbitrary extra packages
Changed Bug title to '[mk-build-deps] please add "--extra-packages" option to install arbitrary extra packages' from 'devscripts: please add "--extra-packages" option to install arbitrary extra packages'.
> usertags 837173 uscan
There were no usertags set.
Usertags are now: uscan.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
835919: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=835919
837173: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=837173
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems



More information about the devscripts-devel mailing list