Build #87 (Oct 12, 2019 2:47:04 PM)

PR #2549: Fix Erroneous "gethostlaten...

	No changes.
	GitHub pull request #2549 of commit 9077216590695d8f4461061959f8274c55bd3236, no merge conflicts.

Configurations