Dennis Devriendt
added a comment - 15/Nov/12 11:38 AM Seems like it was already fixed by Frederik after all. I commited a small change so that in the processor tree, only sockets used by a manufacturer appear under it.