Andreas, my patch for 656585 (
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=656585)
ought allow you to mark this one FIXED, once it comes down from upstream.

-- 
nick black -- senior compiler engineer, nvidia

Reply via email to