Re: URGENT: tl/jdk and tl-gate/jdk not identical

[Tim Bell]

Hi Max:
> For some reason Joe's changeset has not reached the final repo.

Thanks for pointing it out.  I kick-started the gate push.

This should be sorted out, although it may take a few minutes
for the email notifications to catch up.

Tim