Processing commands for cont...@bugs.debian.org: > tags 719547 - moreinfo Bug #719547 [src:linux] linux: provide a PREEMPT_RT kernel image for non-x86 architectures Removed tag(s) moreinfo. > retitle 719547 linux: Provide a PREEMPT_RT kernel image for armhf Bug #719547 [src:linux] linux: provide a PREEMPT_RT kernel image for non-x86 architectures Changed Bug title to 'linux: Provide a PREEMPT_RT kernel image for armhf' from 'linux: provide a PREEMPT_RT kernel image for non-x86 architectures'. > thanks Stopping processing here.
Please contact me if you need assistance. -- 719547: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=719547 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
