Re: [PHP-DEV] The @@ is terrible, are we sure we're OK with it?

  111144
July 23, 2020 07:02 come.chilliet@fusiondirectory.org (=?UTF-8?B?Q8O0bWU=?= Chilliet)
Le Thu, 23 Jul 2020 07:26:41 +0100,
Mark Randall <marandall@php.net> a écrit :

> What we do have, is a deep sense of unease that we collectively made the > wrong decision, based on, in part, incomplete information.
To be clear, is there anyone who voted for @@ and changed his mind based on new information? I feel like all people wanting to re-vote or discard @@ syntax are the ones which voted against it. Côme
  111146
July 23, 2020 07:40 marandall@php.net (Mark Randall)
On 23/07/2020 08:02, Côme Chilliet wrote:
> To be clear, is there anyone who voted for @@ and changed his mind based on new > information? Please see the initial discussion here:
https://externals.io/message/110568#111038