removed unsafe block which is not necessary #189

Merged

muellerr merged 2 commits from remove-unnecessary-unsafe-block into main

2024-05-18 12:46:59 +02:00

Author	SHA1	Message	Date
Robin Müller	37e945fd91	Merge branch 'main' into remove-unnecessary-unsafe-block	2024-05-18 12:46:44 +02:00
Robin Mueller	bca1d7292a	removed unsafe block which is not necessary All checks were successful Rust/sat-rs/pipeline/head This commit looks good Details	2024-05-13 17:01:26 +02:00