From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 6378 invoked by alias); 16 Aug 2012 18:22:13 -0000 Received: (qmail 6293 invoked by uid 22791); 16 Aug 2012 18:22:11 -0000 X-SWARE-Spam-Status: No, hits=-6.5 required=5.0 tests=AWL,BAYES_00,KHOP_RCVD_UNTRUST,RCVD_IN_DNSWL_HI,RCVD_IN_HOSTKARMA_W,RP_MATCHES_RCVD,SPF_HELO_PASS X-Spam-Check-By: sourceware.org Received: from mx1.redhat.com (HELO mx1.redhat.com) (209.132.183.28) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Thu, 16 Aug 2012 18:21:58 +0000 Received: from int-mx12.intmail.prod.int.phx2.redhat.com (int-mx12.intmail.prod.int.phx2.redhat.com [10.5.11.25]) by mx1.redhat.com (8.14.4/8.14.4) with ESMTP id q7GILYXI028771 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK); Thu, 16 Aug 2012 14:21:56 -0400 Received: from barimba (ovpn01.gateway.prod.ext.phx2.redhat.com [10.5.9.1]) by int-mx12.intmail.prod.int.phx2.redhat.com (8.14.4/8.14.4) with ESMTP id q7GH9352029196 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES128-SHA bits=128 verify=NO); Thu, 16 Aug 2012 13:09:04 -0400 From: Tom Tromey To: Joel Brobecker Cc: gdb-patches@sourceware.org Subject: Re: RFC: fix PR 14386 References: <873946woli.fsf@fleche.redhat.com> <87txwfj0gk.fsf@fleche.redhat.com> <20120813181700.GA2742@adacore.com> <87lihi60hu.fsf@fleche.redhat.com> <20120815194938.GA7873@adacore.com> Date: Thu, 16 Aug 2012 18:22:00 -0000 In-Reply-To: <20120815194938.GA7873@adacore.com> (Joel Brobecker's message of "Wed, 15 Aug 2012 12:49:38 -0700") Message-ID: <87r4r6ojbk.fsf@fleche.redhat.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain 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 X-SW-Source: 2012-08/txt/msg00457.txt.bz2 >>>>> "Joel" == Joel Brobecker writes: Joel> Pedro said it seemed obvious even to him. I agree it seems correct Joel> as well. I would put it in. Ok, I checked it in. Tom