Processed: gcc-6: Unable to compile upstream kernel with previous .config

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing control commands:

> reassign -1 src:linux
Bug #841500 [gcc-6] gcc-6: Unable to compile upstream kernel with previous .config
Bug reassigned from package 'gcc-6' to 'src:linux'.
No longer marked as found in versions gcc-6/6.2.0-9.
Ignoring request to alter fixed versions of bug #841500 to the same values previously set
> forcemerge -1 841438
Bug #841500 [src:linux] gcc-6: Unable to compile upstream kernel with previous .config
Bug #841419 [src:linux] linux-source-4.7: debian linux source package incompatible with default gcc6 in unstable?
Severity set to 'grave' from 'normal'
Severity set to 'grave' from 'normal'
Removed indication that 841419 affects gcc-6
Removed indication that 841438 affects gcc-6
Bug #841438 [src:linux] --enable-default-pie breaks kernel build on amd64
Merged 841419 841438 841500

-- 
841419: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=841419
841438: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=841438
841500: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=841500
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems