bug#4922: <control>

[Per Starbäck]

As the original reporter from 2011 I maintain that that is the
original, and not the one from last December. What I meant with "since
it is fixed the original is also fixed" was that it was the copy that
finally triggered the fix.

2014-02-26 15:46 GMT+01:00 Drew Adams <drew.adams@oracle.com>:
>> > 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.