Fix for gitinfo (resolves bug 399).