#34 (Nov 9, 2020, 1:47:29 PM)

PR #138: Create codeql-analysis.yml

	No changes.
	GitHub pull request #138 of commit 5c9b0cc313f1b909a534948c27135720908fcd12, no merge conflicts.