Hi,
On Mon, 16 Jun 2008, Johannes Schindelin wrote:
Ooops. I think I missed your point, namely that this should only be done
when no error occurred. I just blame it on the short snippet.
Sorry,
Dscho
--
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