Skip to content

Allow to override build user and host#5653

Merged
jsquyres merged 3 commits intoopen-mpi:masterfrom
bmwiedemann:userhost
Nov 26, 2018
Merged

Allow to override build user and host#5653
jsquyres merged 3 commits intoopen-mpi:masterfrom
bmwiedemann:userhost

Commits

Commits on Oct 20, 2018