#69442 Discovered substitute servers not removed when they go offline

Received: (at control) by debbugs.gnu.org; 4 Apr 2024 21:36:41 +0000
From debbugs-submit-bounces@debbugs.gnu.org Thu Apr 04 17:36:41 2024
Received: from localhost ([127.0.0.1]:34797 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1rsUlE-0001jm-38
	for submit@debbugs.gnu.org; Thu, 04 Apr 2024 17:36:41 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10]:55496)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <ludo@gnu.org>) id 1rsUl1-0001h4-Jq
 for control@debbugs.gnu.org; Thu, 04 Apr 2024 17:36:37 -0400
Received: from fencepost.gnu.org ([2001:470:142:3::e])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <ludo@gnu.org>) id 1rsUkq-0000s1-Ua
 for control@debbugs.gnu.org; Thu, 04 Apr 2024 17:36:16 -0400
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org;
 s=fencepost-gnu-org; h=MIME-version:Subject:From:To:Date:in-reply-to:
 references; bh=hYW1hQ7db/nuhBrcgzmeH978J4Zb8OEKuZQ+IkLUFnA=; b=g8GWwkUgGzrftE
 oSjlGkQlWC9o9WrgfGk/oZRBwlpm8lJD7z9DjvMzS2zhYy0UJLCerxseAxGGu3vZpIMSthFqdy9RZ
 cdsXgx3lGWwMnt25rfgEIK808PO8ppGeK7z7d5O96UK74iYkZEzV+giag+Y4MjbyHfZrjlHXwpbTw
 HkpdflLiigoc0VCbe4GrFrEUc4rQDKzKO/BGtqusHfjgc7nFh8ThkkUwAk1z/wvb2vmls8xAmaKay
 wi01kCn3rwMZ6PR22CQ6g3obNDEshTSmC1jaqQoKnBlPxEnDylhvQPEKIGHeuP0iDzP5JE7UL4geF
 VsGnQzExfdFnl13ncLSg==;
Date: Thu, 04 Apr 2024 23:36:12 +0200
Message-Id: <87bk6ou7xv.fsf@gnu.org>
To: control@debbugs.gnu.org
From: Ludovic Courtès <ludo@gnu.org>
Subject: control message for bug #69442
MIME-version: 1.0
Content-type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: control
X-BeenThere: debbugs-submit@debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit@debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request@debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces@debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
X-Spam-Score: -3.3 (---)