Subject: bug#4922: <control>

From: Per Starbäck <[email-masked]>
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.