From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <eliz@gnu.org>
Received: from eggs.gnu.org (eggs.gnu.org [209.51.188.92])
 by sourceware.org (Postfix) with ESMTPS id 607E93856DF2
 for <gdb-patches@sourceware.org>; Wed, 15 Jun 2022 18:03:55 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 607E93856DF2
Received: from fencepost.gnu.org ([2001:470:142:3::e]:41410)
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <eliz@gnu.org>)
 id 1o1XMw-0008PS-SM; Wed, 15 Jun 2022 14:03:54 -0400
Received: from [87.69.77.57] (port=4762 helo=home-c4e4a596f7)
 by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <eliz@gnu.org>)
 id 1o1XMw-00036G-B1; Wed, 15 Jun 2022 14:03:54 -0400
Date: Wed, 15 Jun 2022 21:03:45 +0300
Message-Id: <83sfo5regu.fsf@gnu.org>
From: Eli Zaretskii <eliz@gnu.org>
To: Tom Tromey <tom@tromey.com>
Cc: gdb-patches@sourceware.org
In-Reply-To: <87h74mx75q.fsf@tromey.com> (message from Tom Tromey on Wed, 15
 Jun 2022 09:45:05 -0600)
Subject: Re: [PATCH] Add to documentation of Python 'dont_repeat' method
References: <20220219164753.3992479-1-tom@tromey.com>
 <87pmkad65u.fsf@tromey.com> <87h74mx75q.fsf@tromey.com>
X-Spam-Status: No, score=-1.6 required=5.0 tests=BAYES_00, DKIMWL_WL_HIGH,
 DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF,
 RCVD_IN_BARRACUDACENTRAL, SPF_HELO_PASS, SPF_PASS, TXREP,
 T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) 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: <https://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: <https://sourceware.org/mailman/listinfo/gdb-patches>,
 <mailto:gdb-patches-request@sourceware.org?subject=subscribe>
X-List-Received-Date: Wed, 15 Jun 2022 18:03:56 -0000

> From: Tom Tromey <tom@tromey.com>
> Date: Wed, 15 Jun 2022 09:45:05 -0600
> Cc: gdb-patches@sourceware.org
> 
> >>>>> "Tom" == Tom Tromey <tom@tromey.com> writes:
> 
> >>>>> "Tom" == Tom Tromey <tom@tromey.com> writes:
> Tom> PR python/28533 points out that the Python 'dont_repeat' documentation
> Tom> is a bit ambiguous about when the method ought to be called.  This
> Tom> patch spells it out.
> 
> > Ping.
> 
> Ping again.

Sorry for missing it.

This is OK, Texinfo-wise.