Update version number for 5.17.2 GIT_SILENT

Authored by jriddell on Oct 29 2019, 5:56 PM.