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

Conversation 0 Commits 5 Files Changed 5 +107 -97

muellerr commented 2023-10-01 13:57:12 +02:00

Owner

Copy Link

No description provided.

muellerr added 1 commit 2023-10-01 13:57:13 +02:00

this intermediate struct is not necessary 7654670967

muellerr added 1 commit 2023-10-01 13:57:18 +02:00

Merge branch 'main' into simplify-some-tcp-components 62a9f58462

muellerr added 3 commits 2023-10-01 14:53:32 +02:00

no box necessary.. 157d904794

some tiny tweaks 922631022c

Merge branch 'simplify-some-tcp-components' of egit.irs.uni-stuttgart.de:rust/sat-rs into simplify-some-tcp-components 6a300f5b65

muellerr merged commit 8cab8ab011 into main 2023-10-01 15:00:13 +02:00

muellerr deleted branch simplify-some-tcp-components 2023-10-01 15:00:14 +02:00

muellerr referenced this issue from a commit 2023-10-01 15:00:15 +02:00

Merge pull request 'this intermediate struct is not necessary' (#86) from simplify-some-tcp-components into main

muellerr added this to the satrs v0.1.0 milestone 2023-10-01 16:27:43 +02:00

Sign in to join this conversation.

Reviewers

No Reviewers

Labels

Clear labels

api

Non-Breaking API change

b-api

Breaking API change

bug

Something is not working

concepts

Conception and ideas for new features

duplicate

This issue or pull request already exists

enhancement

New feature

help wanted

Need some help

invalid

Something is wrong

question

More information is needed

wontfix

This won't be fixed

No Label

Milestone

No items

No Milestone satrs v0.1.0

Projects

Clear projects

No project

Assignees

Clear assignees

dwoodward jenkins_buildfix lkoester mhess mohr muellerr nehlichp

No Assignees

1 Participants

Notifications

Subscribe

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: rust/sat-rs#86

No description provided.