fixes mostly related to WorkerList.js

This commit is contained in:
2024-10-13 09:23:59 +02:00
parent 72b9044ba7
commit 39b17cb62a
16 changed files with 96 additions and 35 deletions

File diff suppressed because one or more lines are too long