Sybren A. Stüvel 85d53de1f9 Manager: implement API endpoint for changing job priority ...

The priority of an existing can now be changed. It will be taken into
account when assigning tasks to workers, but it will not reassign tasks
that are already active.

2022-09-30 16:30:03 +02:00

..

api_impl_mock.gen.go

Manager: implement API endpoint for changing job priority

2022-09-30 16:30:03 +02:00

varrepl.gen.go

Fix T99434: Two-way Variables

2022-07-22 11:58:35 +02:00