On 05/07/2013 06:06 PM, Andreas Arnez wrote: > Pedro Alves <palves@redhat.com> writes: > >> OK. > > I guess you're going to commit the patch then? Done. -- Pedro Alves