Re: [PATCH] getopt: fix diagnostic for missing mandatory option argument

[Stefano Lattarini]

Hi Paul, thanks for the quick review.

On 01/15/2012 06:59 AM, Paul Eggert wrote:
> Thanks, that patch looks good to me; please install.
>
Done.

Regards,
  Stefano