[7u communication] Hold off on jdk7u40-dev and jdk7u-dev pushes for the moment.

[Seán Coffey]

Issue is now resolved.

b31 promotion has been pushed out by one day, so please push 7u40 
approved fixes when possible.

regards,
Sean.

On 25/06/2013 12:01, Seán Coffey wrote:
> There appears to be a mercurial configuration issue with the new 
> jdk7u40, jdk7u40-dev forests. Syncs between the gates and the original 
> repos are not happening. I suggest holding off any pushes for 7u-dev, 
> 7u40-dev for the moment in case changes needs to be rolled back. See 
> attached.
>
> Hopefully the ops team will resolve this shortly.
>
> regards,
> Sean.