Processed: Re: Bug#851871: RM: remove gcc-5 from stretch

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

Processing commands for control@bugs.debian.org:

> retitle 851871 RM: gcc-5/5.4.1-4
Bug #851871 [release.debian.org] RM: remove gcc-5 from stretch
Changed Bug title to 'RM: gcc-5/5.4.1-4' from 'RM: remove gcc-5 from stretch'.
> user release.debian.org@packages.debian.org
Setting user to release.debian.org@packages.debian.org (was pochu@debian.org).
> usertag 851871 + rm
There were no usertags set.
Usertags are now: rm.
> thanks
Stopping processing here.

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