Update version number for 5.13.0 GIT_SILENT

Authored by bshah on Jun 7 2018, 12:15 PM.