Merge pull request #17279 from agh1/check-gif
authorMatthew Wire <mjw@mjwconsult.co.uk>
Mon, 11 May 2020 09:20:42 +0000 (10:20 +0100)
committerGitHub <noreply@github.com>
Mon, 11 May 2020 09:20:42 +0000 (10:20 +0100)
Remove most uses of check.gif


Trivial merge