Applied, thanks.
It makes one wonder if mtime is a reliable enough indication or you are
better off comparing the contents, though. The message file the user is
editing is not that big anyway, no?
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html