Subject: bug#4922: <control>

From: Drew Adams <[email-masked]>
Date: Wed, 26 Feb 2014 06:46:01 -0800 (PST)

> > And AFAICT it does seem to be fixed.  Should it be closed?
> >
> > http://debbugs.gnu.org/cgi/bugreport.cgi?bug=16216
> 
> That 16216 is a duplicate of this bug, isn't it? Since it is fixed the
> original is also fixed.

Yes, except it is the other way around.  AFAICT, that bug (and
so this one) has already been fixed.

But perhaps Fuqiao is seeing something different and there is
still a bug somewhere.