On Fri, Oct 22, 2010 at 11:55 AM, MinRK <benjaminrk@gmail.com> wrote:
> Sure, we can meet to look into it. If I recall correctly, I exactly
> followed the merge flow provided by github at the bottom of the pull
> request.
Great, thanks. Hopefully it didn't sound like I was blaming you in
any way, I just want to understand what happened (for the future) and
to review any possible regressions that might have slipped in
unnoticed (so we can re-apply them like Thomas did with his patch).
Let's talk on campus next week when I return from SoCal.
Cheers,
f