Processing commands for control@bugs.debian.org: > tags 712196 + pending Bug #712196 [libc0.1] timer_settime broken on kfreebsd-amd64 Added tag(s) pending. > thanks Stopping processing here. Please contact me if you need assistance. -- 712196: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=712196 Debian Bug Tracking System Contact owner@bugs.debian.org with problems