Skip to content

Send DONE message before disconnecting#150

Open
StefanBruens wants to merge 4 commits intoGecode:developfrom
StefanBruens:cpprofiler_send_done
Open

Send DONE message before disconnecting#150
StefanBruens wants to merge 4 commits intoGecode:developfrom
StefanBruens:cpprofiler_send_done

Conversation

@StefanBruens
Copy link

Fixes #149.

@StefanBruens
Copy link
Author

StefanBruens commented Dec 30, 2023

@zayenz Ping!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants