On May 7, 2012, at 20:31 , David Edelsohn wrote: > You can open a PR, but I assume that you mean fixing the problem > before the patch is committed.
Yes, that was the intent. > I would like to give Alan a chance to > comment and look into it. Of course. That was actually my point in offering to open a PR, so that Alan (who did the nice recent reorg) can take it from there. He will certainly be more efficient than me in resolving this :) Olivier
