9-dev unlocked; 8u-dev still locked

[Kevin Rushforth]

The 9-dev repo is now open following this week's sanity testing. The 
usual policies apply to changes going into 9 (no additional restrictions).

The 8u-dev repo remains locked.
-- Kevin