Processing commands for cont...@bugs.debian.org: > forwarded 838892 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71709 Bug #838892 [src:gcc-6] [ppc64el] boot arguments (passed as CONFIG_CMDLINE) are not being picked up by kernel Set Bug forwarded-to-address to 'https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71709'. > tags 838892 confirmed fixed-upstream Bug #838892 [src:gcc-6] [ppc64el] boot arguments (passed as CONFIG_CMDLINE) are not being picked up by kernel Added tag(s) fixed-upstream and confirmed. > user debian-powe...@lists.debian.org Setting user to debian-powe...@lists.debian.org (was ma...@debian.org). > usertags 838892 ppc64el There were no usertags set. Usertags are now: ppc64el. > End of message, stopping processing here.
Please contact me if you need assistance. -- 838892: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=838892 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems