Subject: bug#7563: related bug

From: Dave Abrahams <[email-masked]>
Date: Sun, 05 Dec 2010 16:38:32 -0500

Perhaps this report will also help resolve
http://debbugs.gnu.org/cgi/bugreport.cgi?bug=1212

-- 
Dave Abrahams
BoostPro Computing
http://www.boostpro.com