Re: [PATCH 0/1] doc: small formatting fix

2019-09-11 Thread Johannes Schindelin
Hi Cameron, On Mon, 9 Sep 2019, Cameron Steffen via GitGitGadget wrote: > Edit: I need permission to submit please You got that permission already ;-) Ciao, Johannes > > Cameron Steffen (1): > doc: small formatting fix > > Documentation/pretty-formats.txt | 2 +- > 1 file changed, 1 inserti

Re: [PATCH 0/1] doc: small formatting fix

2019-09-11 Thread Derrick Stolee
On 9/9/2019 7:21 PM, Cameron Steffen via GitGitGadget wrote: > Edit: I need permission to submit please Hi Cameron. When using GitGitGadget, your PR description becomes your cover letter on the mailing list. This is a great place for you to describe how you discovered this problem and if you ha