[Piuparts-devel] Processed: merged into git branch develop

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> #merged into git branch develop
> tags 522918 + pending
Bug #522918 [piuparts] Should kill leftover processes
Ignoring request to alter tags of bug #522918 to the same tags previously set
> tags 588313 + pending
Bug #588313 [piuparts] piuparts: needs to detect changes in diversions
Added tag(s) pending.
> tags 640647 + pending
Bug #640647 [piuparts] TODO item: Kill children after a timeout to make sure the,test doesn't
Added tag(s) pending.
> tags 640648 + pending
Bug #640648 [piuparts] TODO item “PackagesDB: get rid of 50% of unique()”
Ignoring request to alter tags of bug #640648 to the same tags previously set
> thanks
Stopping processing here.

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