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

[Paul Eggert]

Thanks, that patch looks good to me; please install.