Check PRs/CRs, file Bugs as necessary
This bug has moved to http://bugs.ecos.sourceware.org/show_bug.cgi?id=26830