Sebastian Reitenbach <[email protected]> wrote: > is this OK now, or still rough things left that should be cleaned?
ok naddy@ If you want to tweak the port further (maybe after committing the update), you could try to find out how to disable building the profiled libraries. These aren't used, so all libraries are currently built twice for no gain. -- Christian "naddy" Weisgerber [email protected]
