From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 32261 invoked by alias); 30 Oct 2002 22:04:42 -0000 Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org Received: (qmail 32174 invoked from network); 30 Oct 2002 22:04:39 -0000 Received: from unknown (HELO vexpert.dbai.tuwien.ac.at) (128.130.111.12) by sources.redhat.com with SMTP; 30 Oct 2002 22:04:39 -0000 Received: from pulcherrima (pulcherrima [128.130.111.23]) by vexpert.dbai.tuwien.ac.at (8.12.6/8.12.6) with ESMTP id g9UM4Y7m025659; Wed, 30 Oct 2002 23:04:38 +0100 (CET) Date: Wed, 30 Oct 2002 16:44:00 -0000 From: Gerald Pfeifer To: Janis Johnson cc: Joe Buck , , Subject: Re: PATCH for Re: web page starting to show its age In-Reply-To: <200210302157.g9ULvk525568@piper.synopsys.com> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-SW-Source: 2002-10/txt/msg01715.txt.bz2 On Wed, 30 Oct 2002, Joe Buck wrote: >> How's this? (Yes, I'm now a web page maintainer, but I'm not going to >> make this change without running it by people first). > Fine with me. Thanks, Janis! Gerald PS: I believe there is a

missing. -- Gerald "Jerry" pfeifer@dbai.tuwien.ac.at http://www.dbai.tuwien.ac.at/~pfeifer/