[pmg-devel] [PATCH] system options: fix eslint error

[Thomas Lamprecht]

Am 26.02.25 um 13:57 schrieb Gabriel Goller:
>> FYI, this patch is obsolete as 0012b5d ("fix indentation and code style
>> for various Options grid") was pushed a bit over two hours ago.
> 
> Oops, didn't see that one, sorry about that.

Yeah, absolutely no worries here, I rather have people send a patch
too much than having none at all.