Re: gnulib ChangeLog corrupted

[Bruno Haible]

Hello Ralf,

> the commit below removed some 14000 lines from the ChangeLog file.

Already restored a few hours ago. But thanks for noticing it.

> I hope that wasn't the reason for the speedup,  ;-)

Hehe ;-) No, I was working on copies that were not truncated.

> but please check whether a bug in git-merge-changelog was
> responsible for this.

The problem happens if, after saving the ChangeLog file, I don't wait enough
time before doing a commit. The editor seems to be saving the file in the
background and reports success before it's actually finished saving.

Bruno