On Wed, Dec 11, 2013 at 12:51 PM, Ingo Weinhold <ingo_weinhold@xxxxxx> wrote: > On 12/11/2013 12:17 AM, WaddleSplash wrote: >> Shouldn't these repos be deleted? They've both been merged into their >> upstream counterparts, and I see no reason to keep them around anymore. > > Indeed. Done. It seems Alexander Von Gluck ran into HaikuPorts recipes that were referencing these... Guess someone needs to go through and clean those up now. - Urias