gcc-wwwdocs branch master updated. 83f833b74f2dada4235f1b68b2e3cab5e5bba757

gcc-wwwdocs branch master updated. 83f833b74f2dada4235f1b68b2e3cab5e5bba757

[redi]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gcc-wwwdocs".

The branch, master has been updated
       via  83f833b74f2dada4235f1b68b2e3cab5e5bba757 (commit)
      from  10463a79371068a0b32d8babefb9cf2ee409f4d1 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 83f833b74f2dada4235f1b68b2e3cab5e5bba757
Author: Jonathan Wakely <jwakely@redhat.com>
Date:   Tue Jan 14 13:16:12 2020 +0000

    Fix indentation of .ssh/config snippet

diff --git a/htdocs/gitwrite.html b/htdocs/gitwrite.html
index 12606201..85a0da2d 100644
--- a/htdocs/gitwrite.html
+++ b/htdocs/gitwrite.html
@@ -90,7 +90,7 @@ operation, you may want to use <code>ssh-agent</code>(1) and
 
 <blockquote><p><code>
 Host gcc.gnu.org<br />
-ForwardX11 no
+&nbsp;&nbsp;ForwardX11 no
 </code></p></blockquote>
 
 <p>Git needs to know your name and email address.  If you have not

-----------------------------------------------------------------------

Summary of changes:
 htdocs/gitwrite.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)


hooks/post-receive
-- 
gcc-wwwdocs