On Sat, 25 Jan 2025 at 20:50, Sergey Shtylyov <sergei.shtylyov@xxxxxxxxx> wrote: > > This one should be indented with a tab like the others, no? Yes, you're right! I already fixed it in preparation for the next version. I can't seem to force my editor to behave nicely and just leave the tab indentation alone. Thanks, Tomasz
