Jenkins working branch

Cut 1.0.13 release.