Processed: Re: Bug#740137: transition: gnome-desktop3

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

Processing control commands:

> retitle -1 transition: gnome 3.12
Bug #740137 [release.debian.org] transition: gnome-desktop3
Changed Bug title to 'transition: gnome 3.12' from 'transition: gnome-desktop3'
> tags -1 confirmed
Bug #740137 [release.debian.org] transition: gnome 3.12
Added tag(s) confirmed.

-- 
740137: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=740137
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems