Peter Eisentraut <peter_e(at)gmx(dot)net> writes:> That said, I have fixed this particular issue.
Thanks --- I'd just as soon not have to deal with a private installationof git.
regards, tom lane