Processing commands for control@bugs.debian.org: > reassign 220232 linux-kernel-headers Bug#220232: libpt: ptlib.h includes both time.h and linux/time.h Warning: Unknown package 'libpt' Bug reassigned from package `libpt' to `linux-kernel-headers'. > End of message, stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)