Maxime Devos <[email protected]> skribis: > contributing.texi contains: > > @pxref{submitting patches,, Submitting patches to a project, git, Git User > Manual}). > > However, there is no 'git' info manual.
I think there used to be one; could it be that we’re no longer building it? Ludo’.
