El sáb, 23-06-2007 a las 18:39 +0100, Peter Clifton escribió: [snip] > Ivan - do you want me to commit this patch in git now? (I'd held off > assuming Carlos might do it). Me too... but I didn't have time. Thanks, Carlos