| Wed, 22 Feb 2023 21:38:30 +0100 | wenzelm | more operations to support management of jobs, e.g. from external database; | changeset | files |
| Wed, 22 Feb 2023 21:35:55 +0100 | wenzelm | more uniform operations; | changeset | files |
| Wed, 22 Feb 2023 21:35:28 +0100 | wenzelm | more operations; | changeset | files |
| Wed, 22 Feb 2023 21:31:36 +0100 | wenzelm | clarified signature: more robust; | changeset | files |