Four new committers on github: AndrejMitrovic, ibuclaw, klickverbot, and rainers

[Walter Bright]

On 3/8/2013 7:31 AM, Dmitry Olshansky wrote:
> c) Committer already spent as much (if not more) time by looking through the
> pull. Doing a trivial cleanup after that should be a semi-automated five minute
> job.

It doesn't scale to have the committers be expected to fix up the pull requests.