Processed: notfound 882192 in 4.12, found 882192 in 4.12.2-1~exp1
Processing commands for control@bugs.debian.org:
> notfound 882192 4.12
Bug #882192 [src:linux] linux: PREEMPT_RT not available
The source 'linux' and version '4.12' do not appear to match any binary packages
No longer marked as found in versions linux/4.12.
> found 882192 4.12.2-1~exp1
Bug #882192 [src:linux] linux: PREEMPT_RT not available
Marked as found in versions linux/4.12.2-1~exp1.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
882192: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=882192
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: