Re: [PATCH] Carry the gnulib getcwd backport as a patch

Sergio Durigan Junior
2018-09-19T02:42:23Z

On Tuesday, September 18 2018, Simon Marchi wrote:

> On 2018-09-18 17:55, Tom Tromey wrote:
>> Simon> Does this look good?
>>
>> Yes, thanks.
>>
>> Tom
>
> Thanks, I'll wait to see if Sergio has any comment about this before
> pushing.

Thanks for taking care of this. I agree with the approach taken here
(as discussed on IRC), and am OK with the patch.

--
Sergio
GPG key ID: 237A 54B1 0287 28BF 00EF 31F4 D0EB 7628 65FC 5E36
Please send encrypted e-mail if possible