On 18/02/2014 19:50, Alexander von Gluck IV wrote: > ok, I say lets set up the following plan: > As I said on IRC, +1 on removing the non-working archs from buildbot, but I don't see the point in removing sources from the tree, it will cause trouble to the few trying to maintain branches for those with having to revert commits. François.