Processing commands for [email protected]: > user [email protected] Setting user to [email protected] (was [email protected]). > usertags 612863 + dget Bug#612863: devscripts: please preserve timestamps in the dget script There were no usertags set. Usertags are now: dget. > retitle 612863 [dget] Compare timestamps before downloading Bug #612863 [devscripts] devscripts: please preserve timestamps in the dget script Changed Bug title to '[dget] Compare timestamps before downloading' from 'devscripts: please preserve timestamps in the dget script' > severity 612863 wishlist Bug #612863 [devscripts] [dget] Compare timestamps before downloading Severity set to 'wishlist' from 'normal'
> thanks Stopping processing here. Please contact me if you need assistance. -- 612863: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=612863 Debian Bug Tracking System Contact [email protected] with problems -- To unsubscribe, send mail to [email protected].
