Skip to content

Conversation

Marcono1234
Copy link
Contributor

@Marcono1234 Marcono1234 commented May 21, 2020

Fix #1699

@Marcono1234
Copy link
Contributor Author

Withdrawing this PR because catching OutOfMemoryError might be desired, see also #1912 (comment). However, it appears OutOfMemoryError is not caught consistently everywhere.

@Marcono1234 Marcono1234 deleted the outofmemoryerror branch May 22, 2022 14:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Don't catch OutOfMemoryError

2 participants