Re: Typo

[Bruno Haible]

Hello,

> > > I'm reading the documentation and found the following typo:

Thanks for the reports. I've addressed the issues that you found:
https://git.savannah.gnu.org/gitweb/?p=gperf.git;a=commitdiff;h=2173338a30abe35b16ffb82623206b28149b9a92

> > > I have no idea how to submit the equivalent of a pull request with 
> > > savannah.

Yes, it's a pity that so many people learn about pull requests — a concept that
1. assumes a centralized server, 2. is (in the case of GitHub) implemented by
proprietary software — before they learn about patches [1][2][3] — a concept 
that
does not rely on any centralized server. If you have an idea how to improve 
this,
please tell us!

Bruno

[1] https://git-scm.com/docs/git-diff
[2] https://git-scm.com/docs/git-format-patch
[3] https://git-scm.com/docs/git-am