Minor cleanup

This commit is contained in:
Claude Brisson
2024-09-04 09:04:00 +02:00
parent 8aee27f435
commit ee48f01da2