Re: [PATCH] savedir: optionally produce ordered directory list

bug-gnulib

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] savedir: optionally produce ordered directory list

From:	Paul Eggert
Subject:	Re: [PATCH] savedir: optionally produce ordered directory list
Date:	Thu, 13 Feb 2014 11:58:24 -0800
User-agent:	Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.3.0

On 02/13/2014 10:30 AM, Sergey Poznyakoff wrote:

Any objections to pushing the latest version of this patch to git head?

Thanks, it looks good to me. Maybe also fold in the attached minorchange, which simplifies the code and which I don't think will hurtperformance significantly. But it's no big deal either way.

hp2.diff
Description: Text Data

[Prev in Thread]

Current Thread

[Next in Thread]

[PATCH] savedir: optionally produce ordered directory list, Sergey Poznyakoff, 2014/02/11
- Re: [PATCH] savedir: optionally produce ordered directory list, Paul Eggert, 2014/02/11
  - Re: [PATCH] savedir: optionally produce ordered directory list, Sergey Poznyakoff, 2014/02/12
    - Re: [PATCH] savedir: optionally produce ordered directory list, Sergey Poznyakoff, 2014/02/13
    - Re: [PATCH] savedir: optionally produce ordered directory list, Paul Eggert <=
- Re: [PATCH] savedir: optionally produce ordered directory list, Ludovic Courtès, 2014/02/13
  - Re: [PATCH] savedir: optionally produce ordered directory list, Sergey Poznyakoff, 2014/02/13
    - Re: [PATCH] savedir: optionally produce ordered directory list, Ludovic Courtès, 2014/02/14

Prev by Date: Re: [PATCH] savedir: optionally produce ordered directory list
Next by Date: Re: [PATCH] savedir: optionally produce ordered directory list
Previous by thread: Re: [PATCH] savedir: optionally produce ordered directory list
Next by thread: Re: [PATCH] savedir: optionally produce ordered directory list
Index(es):
- Date
- Thread