minor linting

This commit is contained in:
eclipse 2025-07-28 22:03:48 +02:00
parent c8d9ced324
commit f0a162461d