shorter delay between file swaps #531

Merged

muellerr merged 2 commits from tweaks_tm_dumps into develop

2023-03-27 17:03:10 +02:00

Author	SHA1	Message	Date
Robin Mueller	5adde9c1c4	Merge remote-tracking branch 'origin/develop' into tweaks_tm_dumps Some checks are pending EIVE/eive-obsw/pipeline/pr-develop Build queued... Details	2023-03-27 17:03:15 +02:00
Robin Mueller	f8ff9c355c	shorter delay between file swaps All checks were successful EIVE/eive-obsw/pipeline/head This commit looks good Details EIVE/eive-obsw/pipeline/pr-develop This commit looks good Details	2023-03-27 16:10:50 +02:00