Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:113483
MIME-Version: 1.0
References: <D376DEFE-26A4-4F11-8548-D9454087E9FD@trowski.com>
 <CA+kxMuQforuex=UemUScnvq9eqAWbsAZWseayCfW6Kg0KWfn9A@mail.gmail.com> <CAJW__o3WJHoLv1QkOz9TPv1rf0LFNhu7+D=wusXG8GsPriz4Uw@mail.gmail.com>
In-Reply-To: <CAJW__o3WJHoLv1QkOz9TPv1rf0LFNhu7+D=wusXG8GsPriz4Uw@mail.gmail.com>
Date: Thu, 11 Mar 2021 19:51:00 +0100
Message-ID: <CAEPJdunxLMC_Y7CZNRm3b+t2zGtU=o_oFnKbPaKRVWr5EV5bBQ@mail.gmail.com>
To: Kalle Sommer Nielsen <kalle@php.net>
Cc: Dan Ackroyd <Danack@basereality.com>, Aaron Piotrowski <aaron@trowski.com>, 
	php internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="00000000000066735405bd4744dd"
Subject: Re: [PHP-DEV] [VOTE] Fibers
From: kontakt@beberlei.de (Benjamin Eberlei)

--00000000000066735405bd4744dd
Content-Type: text/plain; charset="UTF-8"

On Wed, Mar 10, 2021 at 10:51 PM Kalle Sommer Nielsen <kalle@php.net> wrote:

> Den ons. 10. mar. 2021 kl. 20.22 skrev Dan Ackroyd <Danack@basereality.com
> >:
> >
> > Hi internals,
> >
> > Well, technically this is addressed more to people who read internals.
> >
> > Please don't contact people off list putting pressure on them to vote
> > in a particular way.
> >
> > It _really_ is not appreciated, no matter how well intentioned the
> > sender thinks it is.
>
> For the sake of integrity, I believe the vote should be halted and
> restarted at a later date to prevent the influence of referenced email
> from having a favored vote. This has no relation to my personal vote
> on the matter of the RFC however.
>

If the email was sent by the RFC authors itself I would agree, but it was
not.

Stopping the vote because of this would provide precedent to bombard any
RFC vote by just emailing all voters a nasty email.

>
> --
> regards,
>
> Kalle Sommer Nielsen
> kalle@php.net
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: https://www.php.net/unsub.php
>
>

--00000000000066735405bd4744dd--