Processed: Re: Bug#656947 closed by Robert Millan <rmh@debian.org> (Bug#656947: fixed in kfreebsd-kernel-headers 0.66)

To: Maximiliano Curia <maxy@debian.org>
Cc: GNU/kFreeBSD Maintainers <debian-bsd@lists.debian.org> (kfreebsd-kernel-headers for {656947})
Subject: Processed: Re: Bug#656947 closed by Robert Millan <rmh@debian.org> (Bug#656947: fixed in kfreebsd-kernel-headers 0.66)
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Wed, 25 Jan 2012 01:21:15 +0000
Message-id: <[🔎] handler.s.C.13274543834870.transcript@bugs.debian.org>
In-reply-to: <[🔎] 20120125011933.GJ3351@maxy.com.ar>
References: <[🔎] 20120125011933.GJ3351@maxy.com.ar>

Processing commands for control@bugs.debian.org:

> notfixed 656947 kfreebsd-kernel-headers/0.66
Bug #656947 {Done: Robert Millan <rmh@debian.org>} [kfreebsd-kernel-headers] kfreebsd-kernel-headers: sys/soundcard.h unbuildable headers (conflicting types for `__clock_t')
Bug No longer marked as fixed in versions kfreebsd-kernel-headers/0.66.
> thank
Stopping processing here.

Please contact me if you need assistance.
-- 
656947: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=656947
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#656947: closed by Robert Millan <rmh@debian.org> (Bug#656947: fixed in kfreebsd-kernel-headers 0.66)
  - From: Maximiliano Curia <maxy@debian.org>

Prev by Date: Bug#656947: closed by Robert Millan <rmh@debian.org> (Bug#656947: fixed in kfreebsd-kernel-headers 0.66)
Next by Date: Bug#634389: marked as done (linux_videodev.h)
Previous by thread: Bug#656947: closed by Robert Millan <rmh@debian.org> (Bug#656947: fixed in kfreebsd-kernel-headers 0.66)
Next by thread: Bug#656947: marked as done (kfreebsd-kernel-headers: sys/soundcard.h unbuildable headers (conflicting types for `__clock_t'))
Index(es):
- Date
- Thread