Processed: user release.debian.org at packages.debian.org, usertagging 839840, tagging 839840

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> user release.debian.org at packages.debian.org
Setting user to release.debian.org at packages.debian.org (was niels at thykier.net).
> usertags 839840 stretch-can-defer
There were no usertags set.
Usertags are now: stretch-can-defer.
> tags 839840 + stretch-ignore
Bug #839840 [src:ghc] ghci segfaults on armel, related to doctest failure
Added tag(s) stretch-ignore.
> thanks
Stopping processing here.

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