Build #170 (Dec 11, 2019 12:59:15 AM)

PR #2644: debian changelog for v0.12....

	No changes.
	GitHub pull request #2644 of commit 587cce29fb320465626c4c85948a3fa98101c4f6, no merge conflicts.

Configurations