Johannes Schindelin <Johannes.Schindelin@xxxxxx> writes: > I would not care too strongly about that. Eventually, I really would like > this file to reside in $GIT_DIR, not /tmp, but whatever. That is not my > biggest concern right now. That I cannot update since June 18th, however, > is. Would reverting 8f732649 in the meantime be an option for you? - : send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html