Processed: Re: Bug#853285: ghc: Patch to add support for cross-compilation of GHC

Tue Jan 31 14:27:05 UTC 2017

Processing control commands:

> clone -1 -2
Bug #853285 [src:ghc] ghc: Patch to add support for cross-compilation of GHC
Bug 853285 cloned as bug 853743
> retitle -2 ghc: honour DEB_BUILD_OPTIONS=nocheck
Bug #853743 [src:ghc] ghc: Patch to add support for cross-compilation of GHC
Changed Bug title to 'ghc: honour DEB_BUILD_OPTIONS=nocheck' from 'ghc: Patch to add support for cross-compilation of GHC'.
> block -1 by -2
Bug #853285 [src:ghc] ghc: Patch to add support for cross-compilation of GHC
853285 was not blocked by any bugs.
853285 was not blocking any bugs.
Added blocking bug(s) of 853285: 853743

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