|
From: | Per Starbäck |
Subject: | bug#4922: <control> |
Date: | Wed, 26 Feb 2014 15:14:49 +0100 |
> 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.
[Prev in Thread] | Current Thread | [Next in Thread] |