Merge pull request #11952 from anlancs/fix/cleanup-20

include: clean up some white spaces
This commit is contained in:
Russ White 2022-09-20 11:17:32 -04:00 committed by GitHub
commit 78c108ced7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23