Commits

Michael Gottesman committed 386086c2ef6M
Merge pull request #3723 from rudkx/silence-release-build-warnings Silence a few release-build warnings.
Merge pull request #3723 from rudkx/silence-release-build-warnings Silence a few release-build warnings.