On 28 Jan 2021, Daniel Shahaf wrote:
You missed one nit: the word "indicates" is still indented just
as much as the parenthesis above it.
Fascinating -- that was deliberate, but as I look through the logs
(here and in other projects), I see that my indentation style has
changed over time too, and that I used to do it the way you
suggest. I'll make it conform to the local style, and indent
that line one more column -- though some people seem to be using
two extra columns, by the way :-), not that I'm going to name any
names.
Ship it ☺
r1885997.
Best regards,
-Karl
