Push permissions gone?

[Erik Joelsson]

Thanks Mark!

And now I know where to ask next time.

/Erik

On 2011-12-02 16:58, mark.reinhold at oracle.com wrote:
> 2011/12/2 7:40 -0800, dalibor.topic at oracle.com:
>> Please ask on web-discuss, as that's where infrastructure questions
>> should go.
> No, infrastructure problems should be reported to ops at openjdk.java.net.
>
> (I already fixed Erik's problem.)
>
> - Mark