On Sun, Oct 10, 2021 at 10:45 PM Dmitry Gutov <dgutov@yandex.ru> wrote:

> On 11.10.2021 00:31, João Távora wrote:
> > Why don't you state exactly what problematic scenario you're thinking of?
>
> People relying on the 'shorthand' style while we try to remove it.
>

Presumably, we're going to replace it with something better, so
I don't see any problem.

João