On 2011-05-05 09:59, Tao Ma wrote:> Jens,> Is it ok to be merged?Yes, I will merge it in. I'll change the wording a little bit, it shouldbe 'run' not 'runned'.-- Jens Axboe