Processed: found 800423 in 7.10.3-4.1, severity of 800423 is serious

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> found 800423 7.10.3-4.1
Bug #800423 [ghc-doc] ghc-doc has file conflicts with packages from stable (jessie)
Marked as found in versions ghc/7.10.3-4.1.
> # breaks stable→testing upgrades
> severity 800423 serious
Bug #800423 [ghc-doc] ghc-doc has file conflicts with packages from stable (jessie)
Severity set to 'serious' from 'normal'
> thanks
Stopping processing here.

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