[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#4922: <control>
|
From: |
Eli Zaretskii |
|
Subject: |
bug#4922: <control> |
|
Date: |
Wed, 26 Feb 2014 18:55:18 +0200 |
> Date: Wed, 26 Feb 2014 15:14:49 +0100
> From: Per Starbäck <per.starback@gmail.com>
> Cc: Xue Fuqiao <xfq@gnu.org>, 4922@debbugs.gnu.org
>
> > 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, closing.