Skip to content
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.

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

W32/mingw builds do not catch exceptions #225

Open
umlaeute opened this issue Feb 4, 2019 · 0 comments
Open

W32/mingw builds do not catch exceptions #225

umlaeute opened this issue Feb 4, 2019 · 0 comments
Assignees

Comments

@umlaeute
Copy link
Owner

@umlaeute umlaeute commented Feb 4, 2019

instead Pd is terminated...

@umlaeute umlaeute self-assigned this Feb 4, 2019
umlaeute added a commit that referenced this issue Feb 11, 2019
hopefully fixing #225
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
1 participant