Merge pull request #8769 from keszybz/followups
authorYu Watanabe <watanabe.yu+github@gmail.com>
Mon, 23 Apr 2018 01:24:39 +0000 (10:24 +0900)
committerGitHub <noreply@github.com>
Mon, 23 Apr 2018 01:24:39 +0000 (10:24 +0900)
commit80f00482037501782e4d64a7a2f6cb920670b658
treeb1a0fb3f2d2e1cf60c88e0f13f8d7bcf91839ec0
parentd6b87637c52148f5861aca557de2711dcd0c2efd
parent60e9682a800b93886da362162e949cdc8c064c21
Merge pull request #8769 from keszybz/followups

Three trivial followups for recent patches