Newer source version of build.ninja.in. Copying to bootstrap.ninja.in
Choosing bootstrap.ninja.in for next stage
Choosing primary.ninja.in for next stage
Choosing main.ninja.in for next stage