From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wm1-x335.google.com (mail-wm1-x335.google.com [IPv6:2a00:1450:4864:20::335]) by sourceware.org (Postfix) with ESMTPS id 24E383858CDB for ; Thu, 9 Nov 2023 14:03:14 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 24E383858CDB Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 24E383858CDB Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2a00:1450:4864:20::335 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1699538604; cv=none; b=U75YM+G2+6yBhTt75LMv8d1/+fk3ggZPEfL6sE2buEV9gvk5GGZphrEEly41GwvDkybdmQqtxGMxCYEFu5w6yvKBwDq1scIsb0nm22gRxEtRvlcCvNBL0n6aQQnG7p/p1wHEs6oV1USyLs8s/d0gvwmqGKbXjQM/26fk05gOe8U= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1699538604; c=relaxed/simple; bh=b5JENabmoDzZzaYXAKwSsJZDA3GjFoyoPMp9ffazh5k=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=akpRVNpXnxSWocjafQXZFrwZo6TfXfuzoVwdF2afboMuHs4DKpujywPTQUfS0+YTvRx2nmpeKHpeA+DhSsMezyDa4LGCmAo/b1ABkeJXLYb7JacYvRYus+X7NOCCdazPlZtoVHjDDmb22ndAs28V1IJ0z1DiXDOIaugKGVB2NiI= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-wm1-x335.google.com with SMTP id 5b1f17b1804b1-40891d38e3fso5991815e9.1 for ; Thu, 09 Nov 2023 06:03:14 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1699538592; x=1700143392; darn=gcc.gnu.org; h=content-transfer-encoding:mime-version:message-id:in-reply-to:date :subject:cc:to:from:user-agent:references:from:to:cc:subject:date :message-id:reply-to; bh=b5JENabmoDzZzaYXAKwSsJZDA3GjFoyoPMp9ffazh5k=; b=JS91w75U6iIET+RlVfb1qugIoAlMpuo45AI+9c9QUQRZcLIB2COmnHC0U4bddUnETN aB3T/D+GySSTg9NNYBQKEdcopQgBLaEC+eK/38kRA3KK+w+QJwwfRXZ4Npgw/LAuk/Js WNyV9NPIDqWE/0d6wzE0oFts9M87fJ3LRxiS+oQMMmtR7djhX/GMSIC311Gn03fkGdTC NmX8oEwiQftQbsCri78YtL/CK839eYsesENlzrRMdPQI0fP2OGSGJ87IFnfDHQpKOneS Fwa/07IEECct359I99kOXsekqRJVQz0raHqjqlPklnsujPKHKn608yNyTi3MQ+lVT8Pg P9YA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1699538592; x=1700143392; h=content-transfer-encoding:mime-version:message-id:in-reply-to:date :subject:cc:to:from:user-agent:references:x-gm-message-state:from:to :cc:subject:date:message-id:reply-to; bh=b5JENabmoDzZzaYXAKwSsJZDA3GjFoyoPMp9ffazh5k=; b=n2O3GPuZroRxdSmOEpqG9ghLNMchGZIv1CVnVSAJA6QZ25dk4qDRgQsG/FLzTTCp5o av+SqKK0KnDMkSCq1JJxukWvtc3rtAbi6ElIGcc2gWSywu9ajd7XjXCBHdVJJLHM164p r9TQsAWJXQtn8sbDSiVs0S6bQyrtpoec/F5ieVZe9kXjF3k2X2qiPCFytSeSJVGnenvJ aWlPuxUuPEHCAaGSukbna64Nx/wlJw2AyiyBmFUv98wjAJ1bwEDjEZ2ug0/YhwCCFPAB Y63ePYipr8J8hhmiE9aSbc8Dwl9VmekQgCmFrzTqt7r7bKgc4/hx8YuImFIuLRqy5sa9 Pxdg== X-Gm-Message-State: AOJu0Yy3z8OQMZCewYPsZHHgfmT74/3GwHhJIPXGKbFH7BrOJbnK0ZeS yZO8MHFyP5/IbWhRKrxik+U5wQ== X-Google-Smtp-Source: AGHT+IGV2UlzNt72CEHh75RwYBTGAfaGd7oW5aXW7P9aBY9Dcph3J6fn9OWb1onY1xtRH44EZ0Kwuw== X-Received: by 2002:adf:f687:0:b0:32d:8b1a:31ad with SMTP id v7-20020adff687000000b0032d8b1a31admr4312382wrp.24.1699538591141; Thu, 09 Nov 2023 06:03:11 -0800 (PST) Received: from poulhies-Precision-5550 (lmontsouris-659-1-24-67.w81-250.abo.wanadoo.fr. [81.250.175.67]) by smtp.gmail.com with ESMTPSA id t10-20020a5d42ca000000b0032f7fab0712sm7366457wrr.52.2023.11.09.06.03.09 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 09 Nov 2023 06:03:10 -0800 (PST) References: <20231024094926.GA4094122@adacore.com> <6FC216D2-458D-4A0A-85D7-2C309D5BBBF8@pushface.org> <20231109112538.GA2659993@adacore.com> <87fs1f9iim.fsf@adacore.com> User-agent: mu4e 1.10.1; emacs 28.1 From: Marc =?utf-8?Q?Poulhi=C3=A8s?= To: Simon Wright Cc: Arnaud Charlet , gcc-patches@gcc.gnu.org, squirek@adacore.com Subject: Re: [PATCH] Fix PR ada/111813 (Inconsistent limit in Ada.Calendar.Formatting) Date: Thu, 09 Nov 2023 15:01:41 +0100 In-reply-to: <87fs1f9iim.fsf@adacore.com> Message-ID: <87bkc39g82.fsf@adacore.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Status: No, score=-7.7 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: Marc Poulhi=C3=A8s writes: > Arnaud Charlet writes: > >> Marc, can you please take care of it when you get a chance? > > I'll push the change as soon as the tests are finished. Pushed as r14-5282. Marc