[INFO] push + merge delayed

2010-08-08 Thread Stefano Lattarini
Hello Ralf. I just want state explicitly that I'll wait until tomorrow (or even the day after) to merge and push the patches we have reviewed this afternoon, since the time for today is almost out, and I don't want to do a push without proper testing. Regards, Stefano

Re: [INFO] push + merge delayed

2010-08-08 Thread Ralf Wildenhues
* Stefano Lattarini wrote on Sun, Aug 08, 2010 at 07:17:49PM CEST: I just want state explicitly that I'll wait until tomorrow (or even the day after) to merge and push the patches we have reviewed this afternoon, since the time for today is almost out, and I don't want to do a push without