Build #85 (Oct 10, 2019 4:25:59 PM)

PR #2544: add helper: convert FD to p...

	No changes.
	GitHub pull request #2544 of commit 47e8d36389f4a8dfe1ec8106f0ce6e9a4117edd2, no merge conflicts.

Configurations