bugfix in SD card manager #489

Merged
muellerr merged 1 commits from sdc_man_bugfix_ctor into develop 2023-03-17 16:05:32 +01:00
Owner

deadlock

deadlock
muellerr added 1 commit 2023-03-17 16:05:03 +01:00
EIVE/eive-obsw/pipeline/head Build queued... Details
EIVE/eive-obsw/pipeline/pr-develop Build queued... Details
af85c883fa
bugfix in SD card manager
muellerr added the
bug
label 2023-03-17 16:05:15 +01:00
muellerr added this to the v1.38.0 milestone 2023-03-17 16:05:18 +01:00
muellerr merged commit ce59e66c05 into develop 2023-03-17 16:05:32 +01:00
muellerr deleted branch sdc_man_bugfix_ctor 2023-03-17 16:05:33 +01:00
Sign in to join this conversation.
No description provided.