From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 88425 invoked by alias); 24 Nov 2017 21:30:26 -0000 Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sourceware.org Received: (qmail 88405 invoked by uid 89); 24 Nov 2017 21:30:24 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-2.7 required=5.0 tests=AWL,BAYES_00,KB_WAM_FROM_NAME_SINGLEWORD,RCVD_IN_DNSWL_NONE,SPF_PASS autolearn=no version=3.3.2 spammy=Hx-languages-length:415, website, person X-HELO: rock.gnat.com Received: from rock.gnat.com (HELO rock.gnat.com) (205.232.38.15) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Fri, 24 Nov 2017 21:30:23 +0000 Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id 2E44E116651; Fri, 24 Nov 2017 16:30:22 -0500 (EST) Received: from rock.gnat.com ([127.0.0.1]) by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id vw7FGR1n7tTn; Fri, 24 Nov 2017 16:30:22 -0500 (EST) Received: from joel.gnat.com (localhost.localdomain [127.0.0.1]) by rock.gnat.com (Postfix) with ESMTP id F2A14116653; Fri, 24 Nov 2017 16:30:21 -0500 (EST) Received: by joel.gnat.com (Postfix, from userid 1000) id 4DAA187442; Fri, 24 Nov 2017 13:30:20 -0800 (PST) Date: Fri, 24 Nov 2017 21:30:00 -0000 From: Joel Brobecker To: Simon Marchi Cc: gdb-patches@sourceware.org Subject: Re: [PATCH 1/2] Fix issues with gdb-memory-map.dtd Message-ID: <20171124213020.kskjia7qr55473zf@adacore.com> References: <1510269503-12483-1-git-send-email-simon.marchi@ericsson.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: NeoMutt/20170113 (1.7.2) X-SW-Source: 2017-11/txt/msg00626.txt.bz2 > You are probably the person that has the most chance to know how to > update this file: > > http://sourceware.org/gdb/gdb-memory-map.dtd > > Any idea? I can absolutely do that. But I'm wondering whether we might just want to delete the file instead? Why keep a copy on the website? I couldn't find a reference to it anywhere in any of the webpages... -- Joel