Trilinos Master Merge PR Generator: Auto PR created to promote from master_merge_20190118_020615 branch to master#4215
Merged
william76 merged 25 commits intomasterfrom master_merge_20190118_020615Jan 19, 2019
+802-673
Commits
Commits on Oct 26, 2018
Commits on Jan 15, 2019
- committed
- authored
- committed
Mark Hoemmen - committedMark Hoemmen
- committed
- committed
- authored
Commits on Jan 16, 2019
- committedMark Hoemmen
- committedMark Hoemmen
- authored
- authored
- authored
- authored
- committed
- committed
Commits on Jan 17, 2019
- committed
- committed
- committed
- committed
- committed