From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2181) id E7C313857C4D; Wed, 19 Aug 2020 14:41:50 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org E7C313857C4D To: gcc-cvs-wwwdocs@gcc.gnu.org Subject: gcc-wwwdocs branch master updated. e8120aa3ecc3dec9c6ddcd3add2326e94fe5fb1e X-Git-Refname: refs/heads/master X-Git-Reftype: branch X-Git-Oldrev: b468e3fdfd164c473ae1cd3facfc9ec9af9d25a9 X-Git-Newrev: e8120aa3ecc3dec9c6ddcd3add2326e94fe5fb1e Message-Id: <20200819144150.E7C313857C4D@sourceware.org> Date: Wed, 19 Aug 2020 14:41:50 +0000 (GMT) From: Jonathan Wakely X-BeenThere: gcc-cvs-wwwdocs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs-wwwdocs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 19 Aug 2020 14:41:51 -0000 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 e8120aa3ecc3dec9c6ddcd3add2326e94fe5fb1e (commit) from b468e3fdfd164c473ae1cd3facfc9ec9af9d25a9 (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 e8120aa3ecc3dec9c6ddcd3add2326e94fe5fb1e Author: Jonathan Wakely Date: Wed Aug 19 15:41:44 2020 +0100 Remove stray '>' character diff --git a/htdocs/bugs/index.html b/htdocs/bugs/index.html index 66d9138f..a6631d8a 100644 --- a/htdocs/bugs/index.html +++ b/htdocs/bugs/index.html @@ -222,7 +222,7 @@ submit it according to our generic instructions. "[Ada]" tag in the subject.)

Detailed bug reporting instructions when using a precompiled -header>

+header

If you're encountering a bug when using a precompiled header, the first thing to do is to delete the precompiled header, and try running ----------------------------------------------------------------------- Summary of changes: htdocs/bugs/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) hooks/post-receive -- gcc-wwwdocs