Merge pull request #4363 from stefan-it/replace-while-loops
authorDaniel Mack <github@zonque.org>
Thu, 13 Oct 2016 13:56:23 +0000 (15:56 +0200)
committerGitHub <noreply@github.com>
Thu, 13 Oct 2016 13:56:23 +0000 (15:56 +0200)
basic,coredump: use for loop instead of while


Trivial merge