Processing commands for [email protected]: > 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 [email protected] Setting user to [email protected] (was [email protected]). > 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 [email protected] with problems
