Subject: Review of Bug#8055 patch

From: Chong Yidong <[email-masked]>
Date: Sun, 26 Aug 2012 10:49:15 +0800

Hi Lars,

Please review the patch posted by Magnus Henoch at

http://debbugs.gnu.org/cgi/bugreport.cgi?bug=8055

Thanks.