Build #76 (Sep 25, 2019 3:30:41 PM)

PR #2530: Fix a file descriptor leak ...

	No changes.
	GitHub pull request #2530 of commit 4b829450aca4df6d1694d11328b167a1aa9074bb, no merge conflicts.

Configurations