small robustness fix #183

Merged
muellerr merged 1 commits from robustness-fix into main 2024-05-02 13:41:56 +02:00

1 Commits

Author SHA1 Message Date
408803fe86
small robustness fix
Some checks are pending
Rust/sat-rs/pipeline/head Build queued...
2024-05-02 13:41:27 +02:00