Jonathan Nieder <> writes:

> Matthieu Moy wrote:
>> This file isn't really harmful, but isn't useful either, and can create
>> minor annoyance for the user:
> Would something like the following make sense, to ensure the file is
> always removed on normal exit?

Has anything further happened to this discussion?
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to
More majordomo info at

Reply via email to