On 11.10.2021 00:47, João Távora wrote:
> On Sun, Oct 10, 2021 at 10:45 PM Dmitry Gutov <dgutov@yandex.ru
> <mailto: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.
Presumably, we're likely to replace it with no style at all, which can
break personal configurations (referencing a non-existent style).
Really, we are? That's news to me and my crystal ball. But if we do, we
just noop the style and done.
João