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
