Processed: Re: Bug#717171: live-build: IMG images doesn't build due to a change in the sources

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> severity 717171 normal
Bug #717171 [live-build] live-build: IMG images doesn't build due to a change in the sources
Severity set to 'normal' from 'important'
> tag 717171 unreproducible
Bug #717171 [live-build] live-build: IMG images doesn't build due to a change in the sources
Added tag(s) unreproducible.
> tag 717171 moreinfo
Bug #717171 [live-build] live-build: IMG images doesn't build due to a change in the sources
Added tag(s) moreinfo.
> retitle 717171 IMG images doesn't build due to a change in the sources
Bug #717171 [live-build] live-build: IMG images doesn't build due to a change in the sources
Changed Bug title to 'IMG images doesn't build due to a change in the sources' from 'live-build: IMG images doesn't build due to a change in the sources'
> thanks
Stopping processing here.

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