Merge pull request #15473 from demeritcowboy/too-loopy
authorSeamus Lee <seamuslee001@gmail.com>
Thu, 10 Oct 2019 09:17:42 +0000 (11:17 +0200)
committerGitHub <noreply@github.com>
Thu, 10 Oct 2019 09:17:42 +0000 (11:17 +0200)
The loop doth process too much, methinks


Trivial merge