And the diff looks worse than it is because I unindent a big section which
was previously in the aforementioned loop.

Reply via email to