Make jdk7u-dev read-only

[Andrew Haley]

On 16/02/17 07:39, Lindenmaier, Goetz wrote:

> The repository jdk7u-dev seems to be unused. It did not receive a
> change since 2015/1/21.
> http://hg.openjdk.java.net/jdk7u/jdk7u-dev/
> 
> Should it be made read only?

Yes, I suppose so.

Andrew.