Build #233 (Jan 10, 2020 6:54:47 PM)

PR #2698: sanitize BTF_KIND_FUNC

	No changes.
	GitHub pull request #2698 of commit 3abd41dda9e9b637c9ca61f2ec69596b4d194de9, no merge conflicts.

Configurations