Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:117978
Return-Path: <george.banyard@gmail.com>
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 34827 invoked from network); 17 Jun 2022 13:31:25 -0000
Received: from unknown (HELO php-smtp4.php.net) (45.112.84.5)
  by pb1.pair.com with SMTP; 17 Jun 2022 13:31:25 -0000
Received: from php-smtp4.php.net (localhost [127.0.0.1])
	by php-smtp4.php.net (Postfix) with ESMTP id A385F1805B9
	for <internals@lists.php.net>; Fri, 17 Jun 2022 08:19:41 -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: <george.banyard@gmail.com>
Received: from mail-ed1-f54.google.com (mail-ed1-f54.google.com [209.85.208.54])
	(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 <internals@lists.php.net>; Fri, 17 Jun 2022 08:19:41 -0700 (PDT)
Received: by mail-ed1-f54.google.com with SMTP id ej4so2655216edb.7
        for <internals@lists.php.net>; Fri, 17 Jun 2022 08:19:41 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20210112;
        h=mime-version:from:date:message-id:subject:to;
        bh=ZIDbHkAj7nLZAOM7gKTIX360baMBbK+j5UjGjVsTaAM=;
        b=MaYaX0jb14qt+2MHIEv6fcFjiyZfJb4LFbhg96e2Wq1azchxj1XJ/8+mmadm5dXIvy
         A2kGmAKlCrhGQoTxxyC6zNeDuXew6J4yWmT6VOQnistVtGo98n6ZLz3Kls4vddqK7wxD
         yfwHqxYGodJODZRyKPwLZGbf663ewlfhmv7c/HowMnwZ0LSlUd3u8RazhZ6C7vhpAZJ5
         PEk6JavtKjUwaBNNWpL1iDZvzXxMD8w9vhOqPvT0rx/Hj6qaHcl3bbxACLNKfuJGBY6V
         WLrSjDXpKuMKHlPlFrv7vP5GHbzctFcn//ArcIvmi3rEMtRZJciwE+JwMqGK04rI27cz
         DdEA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20210112;
        h=x-gm-message-state:mime-version:from:date:message-id:subject:to;
        bh=ZIDbHkAj7nLZAOM7gKTIX360baMBbK+j5UjGjVsTaAM=;
        b=CLx2GWu2VFJyeBH70qdCRyqcWIZbjfPxg88YpeBjGOwScVO6F5UTTc8OUqbCEDZ4Oj
         IaLc7oQ5EPEqxeb8dcokPEwKMQQyASCxWbYluvo/lBrNV2MD4c8+3WEzPSuPj+nkVSyC
         q6tjcvGTtCEEy9RooVcvlSlrp2YkBQcL22+AjnAZ1il7Z57/nHHzGXwIrJup9v+zXB2X
         dMJL9OEDwsGa3Y8syeHtF/rwkyO2EUqZszv+5Z0m9DRM/y6BoDPRnqot26NeksQAk/ob
         RATsfUhxPq8zE2lMUxTKy4FqBCMT5xMND2pBBIFDgOXTKCA7h1UmVvXCI780QiE9iQNU
         piZQ==
X-Gm-Message-State: AJIora8AnM+2JCPzkBd8Qx+KsU7XgJ9LD9Np9C8lIhNgHNDxhc0Dtp8n
	8MuxDh6Qhwk+/wY3wO1vLBWfllgruSQpnghxXholczJWwUA=
X-Google-Smtp-Source: AGRyM1uw3UK8gWAvt7X1Xa/ZwCjMGnNJ+tPzEe63tx+KEPqNUe3u5SCuImm8TMl+9Kg7TiQf3j0/Oc7pKyGWkQzxcnY=
X-Received: by 2002:aa7:d6c9:0:b0:435:6698:589a with SMTP id
 x9-20020aa7d6c9000000b004356698589amr2294758edr.59.1655479179787; Fri, 17 Jun
 2022 08:19:39 -0700 (PDT)
MIME-Version: 1.0
Date: Fri, 17 Jun 2022 16:19:28 +0100
Message-ID: <CAFPFaMLJ=3SLFdxstfMEBpz3KSnTZYXTiNcwgbku6L14YRDzng@mail.gmail.com>
To: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="00000000000071c72605e1a6486b"
Subject: [PHP-DEV] [RFC] [VOTE] Disjunctive Normal Form Types
From: george.banyard@gmail.com ("G. P. B.")

--00000000000071c72605e1a6486b
Content-Type: text/plain; charset="UTF-8"

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

Best regards,

George P. Banyard

--00000000000071c72605e1a6486b--