> Seems like the thread might have died down, so just wanted to ping it. > As Marcus says, this is holding up other patches so it'd be good to get > something in soon. Would it be OK to commit the original patch or should > we wait?
Yes, go ahead, but add a FIXME or ??? comment. -- Eric Botcazou
