[wwwdocs,committed] Fix GCC 8.2 release date (was: wwwdocs/htdocs/gcc-8 index.html)

Message ID 87k194wu7w.fsf@euler.schwinge.homeip.net
State New
Headers show
Series
  • [wwwdocs,committed] Fix GCC 8.2 release date (was: wwwdocs/htdocs/gcc-8 index.html)
Related show

Commit Message

Thomas Schwinge Oct. 16, 2019, 4:06 p.m.
Hi!

On 2018-07-26T11:56:36+0000, jakub@gcc.gnu.org wrote:
> Files modified in the GCC repository. Log entry:

>

> Fix up a typo in the release year.


..., but the day also needs to be fixed.  ;-)

Pushed to wwwdocs the attached commit
0dd4c6860fe284cef2df33ec98b2754c25d10438 "Fix GCC 8.2 release date".


Grüße
 Thomas

Patch

From 0dd4c6860fe284cef2df33ec98b2754c25d10438 Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <thomas@codesourcery.com>
Date: Wed, 16 Oct 2019 18:02:00 +0200
Subject: [PATCH] Fix GCC 8.2 release date

---
 htdocs/gcc-8/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/htdocs/gcc-8/index.html b/htdocs/gcc-8/index.html
index fb315d17..54bb3809 100644
--- a/htdocs/gcc-8/index.html
+++ b/htdocs/gcc-8/index.html
@@ -29,7 +29,7 @@  GCC 8.2 relative to previous releases of GCC.</p>
 </dd>
 
 <dt>GCC 8.2</dt>
-<dd>Jul 14, 2018
+<dd>Jul 26, 2018
     (<a href="changes.html">changes</a>,
      <a href="http://gcc.gnu.org/onlinedocs/8.2.0/">documentation</a>)
 </dd>
-- 
2.17.1