Processed: Re: gcc: error: unrecognized command line option ‘-no-pie’

[Debian Bug Tracking System]

Processing control commands:

> forcemerge 871740 867853
Bug #871740 [ghc] gcc: error: unrecognized command line option ‘-no-pie’
Bug #867853 [ghc] gcc: error: unrecognized command line option ‘-no-pie’
Severity set to 'normal' from 'important'
Bug #871740 [ghc] gcc: error: unrecognized command line option ‘-no-pie’
Added tag(s) moreinfo.
Merged 867853 871740

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