Build #20 (Jul 17, 2019 5:39:58 PM)

PR #2404: bashreadline: Filter out no...

	No changes.
	GitHub pull request #2404 of commit 463561773ee6e49664c5535fc397e73c2058f6ab, no merge conflicts.

Configurations