From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <eliz@gnu.org>
Received: from eggs.gnu.org (eggs.gnu.org [IPv6:2001:470:142:3::10])
 by sourceware.org (Postfix) with ESMTPS id C55E6386F836
 for <gdb-patches@sourceware.org>; Wed, 17 Jun 2020 17:22:11 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org C55E6386F836
Authentication-Results: sourceware.org;
 dmarc=none (p=none dis=none) header.from=gnu.org
Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=eliz@gnu.org
Received: from fencepost.gnu.org ([2001:470:142:3::e]:48464)
 by eggs.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <eliz@gnu.org>)
 id 1jlblL-0003Z1-3B; Wed, 17 Jun 2020 13:22:11 -0400
Received: from [176.228.60.248] (port=4248 helo=home-c4e4a596f7)
 by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256)
 (Exim 4.82) (envelope-from <eliz@gnu.org>)
 id 1jlblH-0001UG-6G; Wed, 17 Jun 2020 13:22:10 -0400
Date: Wed, 17 Jun 2020 20:21:50 +0300
Message-Id: <83366t1uc1.fsf@gnu.org>
From: Eli Zaretskii <eliz@gnu.org>
To: Ludovic =?utf-8?Q?Court=C3=A8s?= <ludo@gnu.org>
Cc: tom@tromey.com, gdb-patches@sourceware.org
In-Reply-To: <87tuz9pr2w.fsf@gnu.org> (message from Ludovic =?utf-8?Q?Cour?=
 =?utf-8?Q?t=C3=A8s?= on Wed, 17 Jun 2020 18:58:15 +0200)
Subject: Re: [PATCH 2/2] guile: Add support for Guile 3.0.
References: <20200612132710.14364-1-ludo@gnu.org>
 <20200612132710.14364-3-ludo@gnu.org> <87k108l6dm.fsf@tromey.com>
 <87tuz9pr2w.fsf@gnu.org>
MIME-version: 1.0
Content-type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
X-Spam-Status: No, score=-5.2 required=5.0 tests=BAYES_00, KAM_DMARC_STATUS,
 RCVD_IN_DNSWL_LOW, 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 <gdb-patches.sourceware.org>
List-Unsubscribe: <http://sourceware.org/mailman/options/gdb-patches>,
 <mailto:gdb-patches-request@sourceware.org?subject=unsubscribe>
List-Archive: <https://sourceware.org/pipermail/gdb-patches/>
List-Post: <mailto:gdb-patches@sourceware.org>
List-Help: <mailto:gdb-patches-request@sourceware.org?subject=help>
List-Subscribe: <http://sourceware.org/mailman/listinfo/gdb-patches>,
 <mailto:gdb-patches-request@sourceware.org?subject=subscribe>
X-List-Received-Date: Wed, 17 Jun 2020 17:22:12 -0000

> From: Ludovic Courtès <ludo@gnu.org>
> Cc: gdb-patches@sourceware.org
> Date: Wed, 17 Jun 2020 18:58:15 +0200
> 
> > Anyway, this patch seems fine to me.
> 
> [...]
> 
> > The documentation parts are okay, thanks.
> >
> > I still am not convinced we should remove the description of those
> > functions from the manual, but I'll let others speak up if they have
> > an opinion.
> 
> We haven’t gotten more feedback.
> 
> Should I interpret your messages above as formal approval?  For the
> first patch or both?  (I can also wait for more feedback, I just want to
> make sure there’s no misunderstanding.)

I approved the documentation parts.  I'll leave it to Tom to decide
whether we need to wait for more opinions.