Processed: Re: Bug#945010: ghc-mod: Removal notice: unmaintained

Fri Feb 28 13:33:14 GMT 2020

Processing control commands:

> reassign -1 ftp.debian.org
Bug #945010 [src:ghc-mod] ghc-mod: Removal notice: unmaintained
Bug reassigned from package 'src:ghc-mod' to 'ftp.debian.org'.
No longer marked as found in versions ghc-mod/5.8.0.0-1.
Ignoring request to alter fixed versions of bug #945010 to the same values previously set
> retitle -1 RM: ghc-mod -- ROM; broken and unmaintained
Bug #945010 [ftp.debian.org] ghc-mod: Removal notice: unmaintained
Changed Bug title to 'RM: ghc-mod -- ROM; broken and unmaintained' from 'ghc-mod: Removal notice: unmaintained'.
> severity -1 normal
Bug #945010 [ftp.debian.org] RM: ghc-mod -- ROM; broken and unmaintained
Severity set to 'normal' from 'serious'

-- 
945010: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=945010
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems