Re: [PATCH v10 33/40] environment: add set_index_file()

Christian Couder [off-list ref] writes:

Yeah, it is feasible and perhaps even simpler using
hold_lock_file_for_update() than with set_index_file(), so I
dropped the set_index_file() patch and added a new one that uses
hold_lock_file_for_update().

I wasn't paying too close an attention while reading the changes,
but anyway that is a great news.

Thanks.