4.13.0 or 4.13 rc (that is the question - no, really, it is)

[Jonathan Riddell]

> Push for 4.13.0 in the release, but release with the RC + cherrypicks for 
> serious defect correction if it's not ready.

I agree.

> P.S.  Thanks Harald for the excellent analysis.

I agree too :)

Jonathan