#30730 JDK not reproducible

Received: (at 30730) by debbugs.gnu.org; 11 Mar 2018 10:55:22 +0000
From debbugs-submit-bounces@debbugs.gnu.org Sun Mar 11 06:55:22 2018
Received: from localhost ([127.0.0.1]:54697 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1euydO-0000ap-0O
	for submit@debbugs.gnu.org; Sun, 11 Mar 2018 06:55:22 -0400
Received: from sender-of-o51.zoho.com ([135.84.80.216]:21063)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <rekado@elephly.net>) id 1euydL-0000ad-1k
 for 30730@debbugs.gnu.org; Sun, 11 Mar 2018 06:55:20 -0400
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1520765702; 
 s=zoho; d=elephly.net; i=rekado@elephly.net;
 h=References:From:To:Subject:In-reply-to:Date:MIME-Version:Content-Type:Content-Transfer-Encoding:Message-ID;
 l=438; bh=AZoz8+zXLxHWvCGQKzQXHUWMxy3CXhYMfZLc3SbCht0=;
 b=A43VzMUYsn2mSoBFWUISftByI+ip3oPOHabgUMDc7SLhylyZpm4JkJUp/YkP+rBF
 NI7UPbv86/5WoJSuDfsMACJlKyuad5vJUy8bE9mvAYjf3cuCENOXg6Tk/+tNFYnyODc
 DZ5LP/5QfXyGXovosm9KlOUkUOYaM1bUH8TDAY0g=
Received: from localhost (port-92-200-16-132.dynamic.qsc.de [92.200.16.132])
 by mx.zohomail.com with SMTPS id 152076570205969.95262425697206;
 Sun, 11 Mar 2018 03:55:02 -0700 (PDT)
References: <87h8pti5m2.fsf@mdc-berlin.de>
User-agent: mu4e 1.0; emacs 25.3.1
From: Ricardo Wurmus <rekado@elephly.net>
To: 30730@debbugs.gnu.org
Subject: Re: bug#30730: JDK not reproducible
In-reply-to: <87h8pti5m2.fsf@mdc-berlin.de>
X-URL: https://elephly.net
X-PGP-Key: https://elephly.net/rekado.pubkey
X-PGP-Fingerprint: BCA6 89B6 3655 3801 C3C6  2150 197A 5888 235F ACAC
Date: Sun, 11 Mar 2018 11:54:59 +0100
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Message-ID: <87lgeyubjw.fsf@elephly.net>
X-ZohoMailClient: External
X-Spam-Score: -0.0 (/)
X-Debbugs-Envelope-To: 30730
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: -0.0 (/)