#29634 'max-silent-time' etc. should be per-derivation settings

Received: (at control) by debbugs.gnu.org; 8 Jan 2018 14:28:43 +0000
From debbugs-submit-bounces@debbugs.gnu.org Mon Jan 08 09:28:43 2018
Received: from localhost ([127.0.0.1]:40382 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1eYYPr-0007Y2-3j
	for submit@debbugs.gnu.org; Mon, 08 Jan 2018 09:28:43 -0500
Received: from hera.aquilenet.fr ([185.233.100.1]:35922)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <ludo@gnu.org>) id 1eYYPo-0007Xu-Uh
 for control@debbugs.gnu.org; Mon, 08 Jan 2018 09:28:41 -0500
Received: from localhost (localhost [127.0.0.1])
 by hera.aquilenet.fr (Postfix) with ESMTP id 7962510812
 for <control@debbugs.gnu.org>; Mon,  8 Jan 2018 15:28:40 +0100 (CET)
X-Virus-Scanned: Debian amavisd-new at aquilenet.fr
Received: from hera.aquilenet.fr ([127.0.0.1])
 by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024)
 with ESMTP id Fg1oyMshc0Fp for <control@debbugs.gnu.org>;
 Mon,  8 Jan 2018 15:28:40 +0100 (CET)
Received: from ribbon (unknown [193.50.110.243])
 by hera.aquilenet.fr (Postfix) with ESMTPSA id E44E2107F6
 for <control@debbugs.gnu.org>; Mon,  8 Jan 2018 15:28:39 +0100 (CET)
Date: Mon, 08 Jan 2018 15:28:39 +0100
Message-Id: <87d12kfmqw.fsf@gnu.org>
To: control@debbugs.gnu.org
From: ludo@gnu.org (Ludovic Courtès)
Subject: control message for bug #29634
MIME-version: 1.0
Content-type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: 1.0 (+)
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: 1.0 (+)