On 30.11.20 20:45, Anastasia Lubennikova wrote:
> As far as I see something got committed and now the discussion is stuck in arguing about parenthesis.
> FWIW, I think it is a matter of personal taste. Maybe we can compromise on simply leaving this part unchanged.
With or without parenthesis is a little more than a personal taste, but
it's a very tiny detail. I'm happy with either of the two variants.
--
J. Purtz