Skip to content
GitLab
Explore
Sign in
Echo client changes
Code
Review changes
Check out branch
Download
Patches
Plain diff
Florian Fischer
requested to merge
aj46ezos/emper:echo_client
into
master
Mar 17, 2021
Overview
0
Commits
2
Pipelines
1
Changes
1
Expand
Use a std::thread to set the termination flag
Make using linked futures optional
Merge request reports
Loading