Processed: Fwd: Processed: Fwd:
Processing commands for control@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-powerpc@lists.debian.org
Setting user to debian-powerpc@lists.debian.org (was malat@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 owner@bugs.debian.org with problems
Reply to: