New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Revert "Improvements in engine process exit and termination" #146

Merged

josesimoes merged 1 commit into develop from revert-145-improvements-process-exit

Jun 8, 2018

Member

josesimoes commented Jun 8, 2018

Reverts #145


          Revert "Improvements in engine process exit and termination (#145)"

bd7bff6

This reverts commit 0743675.

Member

nfbot commented Jun 8, 2018

Hi @josesimoes,

I'm nanoFramework bot.
Thank you for your contribution!

A human will be reviewing it shortly. 😉

josesimoes merged commit b74c164 into develop

josesimoes deleted the revert-145-improvements-process-exit branch

June 8, 2018 18:29

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

Labels

None yet