From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 21224 invoked by alias); 20 Oct 2019 15:54:26 -0000 Mailing-List: contact gcc-cvs-wwwdocs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-cvs-wwwdocs-owner@gcc.gnu.org Received: (qmail 21145 invoked by uid 9022); 20 Oct 2019 15:54:25 -0000 Date: Sun, 20 Oct 2019 15:54:00 -0000 Message-ID: <20191020155425.21142.qmail@sourceware.org> From: gerald@gcc.gnu.org To: gcc-cvs-wwwdocs@gcc.gnu.org Subject: gcc-wwwdocs branch master updated. bf45ac10505f02e59a0dfb13540cc8d7f5a21a68 X-Git-Refname: refs/heads/master X-Git-Reftype: branch X-Git-Oldrev: 48bf344a22d4c505dde33a4654e01386f14d18df X-Git-Newrev: bf45ac10505f02e59a0dfb13540cc8d7f5a21a68 X-SW-Source: 2019/txt/msg00270.txt.bz2 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 bf45ac10505f02e59a0dfb13540cc8d7f5a21a68 (commit) from 48bf344a22d4c505dde33a4654e01386f14d18df (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 bf45ac10505f02e59a0dfb13540cc8d7f5a21a68 Author: Gerald Pfeifer Date: Sun Oct 20 17:54:09 2019 +0200 www.polyhedron.com is now polyhedron.com. diff --git a/htdocs/readings.html b/htdocs/readings.html index 42dd285..fd42aaf 100644 --- a/htdocs/readings.html +++ b/htdocs/readings.html @@ -461,7 +461,7 @@ names. Tests of run-time checking capabilities ----------------------------------------------------------------------- Summary of changes: htdocs/readings.html | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) hooks/post-receive -- gcc-wwwdocs