corrupted repository?

[Maurizio Cimadamore]

Hi,
I've pushed a changeset into the panama/dev repository and got this error:

searching for changes
remote: adding changesets
remote: adding manifests
remote: adding file changes
remote: added 1 changesets with 9 changes to 9 files (+1 heads)
remote: error: changegroup.8.jnotify hook raised an exception: 
data/src/java.base/share/classes/java/lang/invoke/MethodHandleStatics.java.i at be345d530e70: 
no match found

browsing the repo seems to show some signs of corruption:

http://hg.openjdk.java.net/panama/dev/file/9bc9c3cbb173/src/java.base/share/classes/java/lang/invoke/MethodHandleStatics.java

I've ran hg verify locally and I see 10 warnings and 18 errors there.

Would it be possible to remove the latest push from the hg repo?

Maurizio