Build #81 (Oct 3, 2019 3:40:28 PM)

PR #2541: debian changelog for v0.11....

	No changes.
	GitHub pull request #2541 of commit 810eb716617cc5059a74807114a8d9c82606ca6b, no merge conflicts.

Configurations