Merge pull request #18198 from yuwata/trivial-cleanups
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Mon, 11 Jan 2021 11:52:03 +0000 (12:52 +0100)
committerGitHub <noreply@github.com>
Mon, 11 Jan 2021 11:52:03 +0000 (12:52 +0100)
commit2b437d173b167b0506a0c0338325c94ce308d4c0
treedd759891ec5806bd5194319122536c447f968f44
parent90f989861e1f7fd4465a8dddd1721b54ecb3f273
parent2e385c48b4f6bccc2327b7e97c453fdf9941c9fd
Merge pull request #18198 from yuwata/trivial-cleanups

Trivial cleanups