2011/12/2 6:33 -0800, erik.joelsson at oracle.com: > Until yesterday I have been able to push freely into > hg.openjdk.java.net/build-infra/jdk7, but today it no longer works. The census data and the hg server config were out of sync. It should be working now. - Mark