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

This is only part of a thread. view whole thread
  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