Processed: bug 637378 is forwarded to http://www.freebsd.org/cgi/query-pr.cgi?pr=159654
Processing commands for control@bugs.debian.org:
> forwarded 637378 http://www.freebsd.org/cgi/query-pr.cgi?pr=159654
Bug #637378 [kfreebsd-kernel-headers] /usr/include/machine-amd64/reg.h:48:2: error: unknown type name 'register_t'
Set Bug forwarded-to-address to 'http://www.freebsd.org/cgi/query-pr.cgi?pr=159654'.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
637378: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=637378
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: