Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:118162 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 17128 invoked from network); 3 Jul 2022 00:23:39 -0000 Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5) by pb1.pair.com with SMTP; 3 Jul 2022 00:23:39 -0000 Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id A39DF1804B3 for ; Sat, 2 Jul 2022 19:15:46 -0700 (PDT) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on php-smtp4.php.net X-Spam-Level: X-Spam-Status: No, score=0.6 required=5.0 tests=BAYES_50,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,HTML_MESSAGE, RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_PASS, T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.2 X-Spam-ASN: AS15169 209.85.128.0/17 X-Spam-Virus: No X-Envelope-From: Received: from mail-ed1-f47.google.com (mail-ed1-f47.google.com [209.85.208.47]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by php-smtp4.php.net (Postfix) with ESMTPS for ; Sat, 2 Jul 2022 19:15:46 -0700 (PDT) Received: by mail-ed1-f47.google.com with SMTP id ej4so7510962edb.7 for ; Sat, 02 Jul 2022 19:15:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=dlWKLZnlPGrIx+kVoV/rnVl2TFtigXq+SUW/I/ntStg=; b=nSb8COhwp/K8VLe3FTeamJbNTCKQET1hNAp+yo9TUcVsGqRtVzzHNsBv/FqLKOQbSy glHpPpJytUQ0MeTuVoWLLizs+Bg5sNQSPwuIDuKNpfEY9GzEJfBol3Kozsr8b4v7R/rf TbdEw2XMFuIJfVLyK7KWqWK42jNhBNvoDVcVx6r/+sQWciDnBCe3ggRZLIxqmeXAcce1 TLz+amqUNgJsmf6o1ZmblcG0yJA2C+LGkppQ/NnX8Yq0dQiEo8kpXXCOKnOtQI8dMJ/h bpvuISXCFRy1pmLUDRrknLzhsgp/B2T7D5IgADRMihdBjo99mck5t8sMwfs+PqTCyVbm 7+aA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=dlWKLZnlPGrIx+kVoV/rnVl2TFtigXq+SUW/I/ntStg=; b=2SzUAzJcWCe8Erm5mcX6WjEJ1gHIK1i1BnFPWD69k8hRLxis9/P7e3GSpKW4SU6aAS 4ZNrNfSJKqMC+dLDapIeuNe/oQunKVtqdkCetO152GtVpqZsWI+IJscVkhED6+9ansat C5yGswGpXguz9oDGXd1+Bc+spunlgJKU1Aa+z9kYX3E/MkuOwnLqYvRcUtPHBLNBRg9c ehWha45FiEUrdTBHUAxcGG7d2tBY5y235D+hoTwBmz4wjwGX8BMX/QW9FtYC+cUumnIw g58lYwhJzSei5T2OETAPDA17wToDJIgAKD5UhXjc8NlQRTJp/viFAxgjPY+gtCg1ekO2 KOIg== X-Gm-Message-State: AJIora8E/mfFTTNTemxTsIazEY3jSPune5ijuCPktzj7jDd8UHn0n73Y fEkDik9IGYrNpWdDik5d0RkiVVuhX3dd8756QwgnGd4S6LA= X-Google-Smtp-Source: AGRyM1vAgjrS4vjM4qJyjR0KIk1ho9jR0Q01Z/ZwNYvnNLmDaA/Zaq52cbTwfWCYXRbUojwNGo3g+OAg8LW9s64i1PQ= X-Received: by 2002:a05:6402:4252:b0:437:6618:1738 with SMTP id g18-20020a056402425200b0043766181738mr28936061edb.259.1656814544548; Sat, 02 Jul 2022 19:15:44 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: Date: Sun, 3 Jul 2022 03:15:33 +0100 Message-ID: To: PHP internals Content-Type: multipart/alternative; boundary="00000000000062f49905e2dd3254" Subject: Re: [PHP-DEV] [RFC] [VOTE] Disjunctive Normal Form Types From: george.banyard@gmail.com ("G. P. B.") --00000000000062f49905e2dd3254 Content-Type: text/plain; charset="UTF-8" On Fri, 17 Jun 2022 at 16:19, G. P. B. wrote: > Hello internals, > > I've started the vote for the Disjunctive Normal Form Types RFC: > https://wiki.php.net/rfc/dnf_types > > The vote will last for 2 weeks and end on the 1st of July > I'm glad to announce that the RFC has been accepted with 25 votes in favour and 1 against. Apologies for overrunning the vote as I forgot this happened on Friday. Best regards, George P. Banyard --00000000000062f49905e2dd3254--