Trilinos Master Merge PR Generator: Auto PR created to promote from master_merge_20200803_000610 branch to master#7765

Merged

trilinos-autotester merged 2 commits intomasterfrom master_merge_20200803_000610

Aug 3, 2020

-6

Commits on Jul 31, 2020

MueLu: Remove outdated comment.
MicheldeMessieres
committed

Commits on Aug 1, 2020

Merge pull request #7756 from Tech-XCorp/mueluRemoveOutdatedComment
MicheldeMessieres
authored