On 2023/02/16 17:52, Tim Düsterhus wrote:
> Not necessarily. It might've been the case that a voter believes that
> include cleanups should not happen, but at the same time believes that *if*
> cleanups happen, then splitting a header is a natural part of such a
> cleanup.
Maybe, but that seems u
Hi
On 2/16/23 09:28, Max Kellermann wrote:
Secondary votes are irrelevant if the primary one doesn't pass.
You may be formally correct (or maybe not, because
https://wiki.php.net/rfc/voting doesn't really say that).
In any case, a vote that reaches supermajority (i.e. it would have
been accep
On 2023/02/16 08:59, Derick Rethans wrote:
> Secondary votes are irrelevant if the primary one doesn't pass.
You may be formally correct (or maybe not, because
https://wiki.php.net/rfc/voting doesn't really say that).
In any case, a vote that reaches supermajority (i.e. it would have
been accept
On 15 February 2023 15:18:31 GMT, Max Kellermann wrote:
>On 2023/02/01 13:13, Max Kellermann 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
On 2023/02/01 13:13, Max Kellermann 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 di
