Your message dated Fri, 06 Jul 2012 20:26:20 +0200
with message-id <87k3ygwxtf.fsf@pobox.com>
and subject line Re: bug#10668: FFI: ‘set-pointer-finalizer!’ overrides the previous finalizer
has caused the debbugs.gnu.org bug report #10668,
regarding FFI: ‘set-pointer-finalizer!’ overrides the previous finalizer
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
10668: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=10668
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems