Build #257 (Jan 21, 2020 4:15:16 PM)

PR #2716: fix line TypeError

	No changes.
	GitHub pull request #2716 of commit 124e92fa9cf12c531a989f4ad91affd058954681, no merge conflicts.

Configurations