Updating GIT tag for v3.5.13.2