The docs have been branched as well.  master is now 10.0.

On Thu, May 25, 2017 at 3:41 PM, Steven Hawkins <> wrote:
Hello all,

9.3 CR1 has been built.  Please use the 9.3.x branch for any additional check-ins.  master will be converted over to 10.0 shortly.  I'll wait another week before branching the documentation.