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

Otherwise it can become impossible to catch this exception.

This Pull Request was closed on September 18th 2019
Powered by GitHub Issue Mirror