On 2025-04-28 03:46, Bruno Haible wrote:
But the indentation in your patch is terrible:

I did that to minimize the size of the diff output for that patch. It's of course fine to fix the indentation, as you did later.

Reply via email to