13.0.1 Release Update

Hi,

We're just wrapping up the last few bug fixes for 13.0.1, so I'm going to try
to release 13.0.1-rc2 on Monday and hopefully this will be the last rc.

-Tom