>> Ping? >> >> Not that a long time has passed, but it looks like this one was missed >> as the other patches in the set got commented and applied quickly :) >> >> Also, attached is the patch updated to apply cleanly to current trunk >> (no other changes). > > fine with me > OK