Sybren A. Stüvel f155715d12 Web: re-fetch jobs after reconnecting to backend ... If the backend connection was lost, and then obtained again, just fetch all available jobs to ensure the presented data is fresh.		2022-04-08 15:03:04 +02:00
..
app	Web: re-fetch jobs after reconnecting to backend	2022-04-08 15:03:04 +02:00
manager-api	OAPI: regenerate OpenAPI code	2022-04-08 12:04:34 +02:00