gdt 6409f3c5ba Add patch to avoid exception in git browser. ... The underlying issue seems to be a race; if the spawned git log command finishes before trac kills it, the os.kill() throws an exception which is not caught. Simply catch and ignore the exception. I sent the patch to trac-devel@.		2014-03-11 17:41:44 +00:00
..
patch-tracopt_versioncontrol_git_PyGIT.py