Build #237 (Jan 16, 2020 12:21:15 AM)

PR #2706: Bpflist fix

	No changes.
	GitHub pull request #2706 of commit e8287af05a52c1b8aff893579ea09fd7130eff66, no merge conflicts.

Configurations