On Sat, Sep 27, 2008 at 3:55 PM, David E. Wheeler <[EMAIL PROTECTED]> wrote: > On Sep 27, 2008, at 13:09, Eric Wilhelm wrote: >> Could we have that with the original indentation please? > > Which is what? I can't make heads or tails of it.
Maybe a first patch to fix whitespace, then a further patch to change code. -Ken
