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

Author	SHA1	Message	Date
Robin Mueller	6a300f5b65	Merge branch 'simplify-some-tcp-components' of egit.irs.uni-stuttgart.de:rust/sat-rs into simplify-some-tcp-components	2023-10-01 14:53:33 +02:00
Robin Mueller	922631022c	some tiny tweaks	2023-10-01 14:48:41 +02:00
Robin Mueller	157d904794	no box necessary..	2023-10-01 14:32:15 +02:00
Robin Müller	62a9f58462	Merge branch 'main' into simplify-some-tcp-components	2023-10-01 13:57:16 +02:00
Robin Mueller	7654670967	this intermediate struct is not necessary	2023-10-01 13:55:42 +02:00