this intermediate struct is not necessary #86

Merged
muellerr merged 5 commits from simplify-some-tcp-components into main 2023-10-01 15:00:13 +02:00

5 Commits

Author SHA1 Message Date
muellerr 6a300f5b65 Merge branch 'simplify-some-tcp-components' of egit.irs.uni-stuttgart.de:rust/sat-rs into simplify-some-tcp-components
Rust/sat-rs/pipeline/pr-main This commit looks good
Rust/sat-rs/pipeline/head This commit looks good
2023-10-01 14:53:33 +02:00
muellerr 922631022c some tiny tweaks 2023-10-01 14:48:41 +02:00
muellerr 157d904794 no box necessary.. 2023-10-01 14:32:15 +02:00
muellerr 62a9f58462 Merge branch 'main' into simplify-some-tcp-components
Rust/sat-rs/pipeline/pr-main This commit looks good
2023-10-01 13:57:16 +02:00
muellerr 7654670967 this intermediate struct is not necessary
Rust/sat-rs/pipeline/head Build started...
2023-10-01 13:55:42 +02:00