@tsteur opened this Pull Request on August 28th 2019 Member

Otherwise it can become impossible to catch this exception.

Powered by GitHub Issue Mirror