From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from rock.gnat.com (rock.gnat.com [IPv6:2620:20:4000:0:a9e:1ff:fe9b:1d1]) by sourceware.org (Postfix) with ESMTP id A594F3857C5B for ; Thu, 23 Jul 2020 18:44:00 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org A594F3857C5B Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=brobecker@adacore.com Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id 711A511653F; Thu, 23 Jul 2020 14:44:00 -0400 (EDT) X-Virus-Scanned: Debian amavisd-new at gnat.com 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 XxbADFNlZ3Ro; Thu, 23 Jul 2020 14:44:00 -0400 (EDT) Received: from joel.gnat.com (localhost.localdomain [127.0.0.1]) by rock.gnat.com (Postfix) with ESMTP id 4C18A1162CC; Thu, 23 Jul 2020 14:44:00 -0400 (EDT) Received: by joel.gnat.com (Postfix, from userid 1000) id AC79983859; Thu, 23 Jul 2020 11:43:58 -0700 (PDT) Date: Thu, 23 Jul 2020 11:43:58 -0700 From: Joel Brobecker To: Kevin Buettner Cc: gdb-patches@sourceware.org Subject: Re: GDB 10 branching - 2020-07-18 Update Message-ID: <20200723184358.GB4901@adacore.com> References: <20200718194522.GA32708@adacore.com> <20200722133243.6a5dc8b5@f32-m1.lan> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20200722133243.6a5dc8b5@f32-m1.lan> User-Agent: Mutt/1.9.4 (2018-02-28) X-Spam-Status: No, score=-3.4 required=5.0 tests=BAYES_00, KAM_DMARC_STATUS, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.2 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on server2.sourceware.org X-BeenThere: gdb-patches@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gdb-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 23 Jul 2020 18:44:01 -0000 > I sent a v5 series to the list: > > https://sourceware.org/pipermail/gdb-patches/2020-July/170686.html > > Pedro reviewed it, finding a minor problem. That problem was > fixed and the series has been pushed. I've also closed the bug. Nicely done, Kevin :). And thanks a lot for having taken the time to let me know. This is helpful for me. -- Joel