Le Wed, 19 Sep 2012 07:22:58 +0200,
intrigeri <intrigeri@???> a écrit :
> mercedes508 wrote (18 Sep 2012 20:09:41 GMT) :
> > I gave it a try, which can be seen & merged from here :
> > commit ebe9464db5bdaf422cb1b9b801df2566ff6328cf
>
> This branch contains a few more changes than merely a fix for
> this issue. Does the pull request still holds?
Whoops, my mistake... I'm torn apart in between saying yes and saying
no, because of those three commits waiting to be reviewed:
80a39b7df6aa11ab830fbc96c2725755b8cbe0d0
7394a5ace32d74ec6a73a2cf90b3e545af4b46f4
ab89e4d177de3f63fbe952b7e35b0c5bd2700aee
I guess I'd rather say yes, please merge it, it'll still be better. But
if someone disagree I won't fight.