This patch fixes a bug in the neededbuilderlist. The sorting of the builders has a nasty bug. The patch fixes the bug, but doesn't sort the builders anymore. This will be fixed in the next release.
neededbuilderlist patch
Log in to post a comment.
neededbuilderlist patch