On Jan 2, 2010, at 10:23 PM, Chong Yidong wrote: > Hi David, > > Since you're the one who checked Sidney Markowitz's patch in, could you > verify that this problem is fixed? done. The bug tracker seems broken - the second bug (2747) is listed, but the link doesn't work (404): http://debbugs.gnu.org/db/27/2747.html (This was merged with another one). Also, the donarmstrong URLs should, perhaps, be redirected automatically to the analogous debbugs.gnu.org ones in order to preserve search engine entries and other archived links. - D