Processing commands for cont...@bugs.debian.org: > user release.debian....@packages.debian.org Setting user to release.debian....@packages.debian.org (was ni...@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 ow...@bugs.debian.org with problems
