Subject: Re: bug#16802: @w for long option names
From: Paul Eggert <[email-masked]>
To: Karl Berry <[email-masked]>
Cc: [email-masked]
Date: Thu, 20 Feb 2014 18:26:05 -0800
List-Id: <debbugs-submit.debbugs.gnu.org>

OK, thanks, I installed it on savannah and am marking this as done.