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