Am 10.03.13 20:07, schrieb Michael Klein: > > can someone with commit rights apply Portfile.2.patch and close the ticket? > Done. -- Christoph