Processing commands for [email protected]:

> close 864463
Bug #864463 [src:linux] linux-headers-4.9.0-3-common-rt: Detecting -rt source 
with localversion-rt
Marked Bug as done
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
864463: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=864463
Debian Bug Tracking System
Contact [email protected] with problems

Reply via email to