On Thu, 13 Dec 2007 14:09:31 +0100 "Rene Ladan" <r.c.ladan at gmail.com> wrote: > Applying this diff make things work again on my box :) > I had a problem with this last night, but I just resynced, and all my ports upgraded correctly, so I guess it's fixed now.