On 15 February 2023 15:18:31 GMT, Max Kellermann <max+...@blarg.de> wrote:
>On 2023/02/01 13:13, Max Kellermann <max+...@blarg.de> wrote:
>> Voting starts now, please vote on my RFC:
>> https://wiki.php.net/rfc/include_cleanup
>
>Hi,
>
>voting of https://wiki.php.net/rfc/include_cleanup has ended today at
>15 UTC.
>
>The majority of voters (52%) voted "Yes" on the primary vote - "Should
>#include directives be cleaned up?" - but the required supermajority
>for a primary vote was not met. Therefore, the primary vote is
>declined.
(snip)
>Interestingly, of all things, the most intrusive vote ("Is it allowed
>to split a large header to reduce dependencies?") got accepted by a
>supermajority. I'll assemble a PR with just the header splitting
>commits and submit it for merging.
Secondary votes are irrelevant if the primary one doesn't pass.
cheers
Derick
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: https://www.php.net/unsub.php
