On 30 December 2013 08:18, Reuben Thomas wrote:
>
> On 30 December 2013 01:20, Paul Eggert wrote:
>
>> Reuben Thomas wrote:
>>
>>> It's been drawn to my attention that under some circumstances, gnulib
>>> fails
>>> to include progname when it's needed
>>>
>>
>> That's documented here:
>>
>>
>> h
On 30 December 2013 01:20, Paul Eggert wrote:
> Reuben Thomas wrote:
>
>> It's been drawn to my attention that under some circumstances, gnulib
>> fails
>> to include progname when it's needed
>>
>
> That's documented here:
>
> http://www.gnu.org/software/gnulib/manual/html_node/error-
> and-prog