Processing commands for control@bugs.debian.org: > 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 owner@bugs.debian.org with problems