Processing commands for cont...@bugs.debian.org:

> affects 838892 src:linux
Bug #838892 [src:gcc-6] [ppc64el] boot arguments (passed as CONFIG_CMDLINE) are 
not being picked up by kernel
Added indication that 838892 affects src:linux
>
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

Reply via email to