*** Base Git Repo: Trilinos
9fec352 [Wed Aug 5 19:22:40 2020 -0600] <trilinos@sandia.gov>
Merge Pull Request #7735 from ZUUL42/Trilinos/update_ver_num_13
