
3 Jan
2011
3 Jan
'11
7:33 p.m.
Hi Rémy,
I perfectly remember agreeing with you on this.
oh, apparently I wasn't paying attention. :-( I am sorry.
I even sent a patch doing this. Should I file a pull request or commit directly instead?
Personally, I'm fine with committing the patch you posted earlier. It seems to do pretty much what I feel is the best solution. I'd say let's give everyone a chance to think about it and raise objections. If none surface in the next two or three days, then let's do it! Take care, Peter