On Wed, Jul 22, 2020 at 1:00 PM Derick Rethans <email@example.com> wrote:
> Hi all,
> I know we've voted twice on this already, but are we really sure that
> the @@ syntax is a good idea?
I agree that @@ is really bad. Personally I'd prefer <<...>> but #[...]
seems fine as well (although it's a minor BC break as there could be a
valid comment). I think there are more people that are fine with both
<<...>> and #[...] but don't like @@. Maybe having an option to vote for
more options would be more suitable here or something where it's possible
to vote against @@ rather than just pick one option.