Skip to content

Use newer config.guess / config.sub files when relevant#8417

Merged
jsquyres merged 2 commits intoopen-mpi:masterfrom
jsquyres:pr/config-dot-what
Jan 27, 2021
Merged

Use newer config.guess / config.sub files when relevant#8417
jsquyres merged 2 commits intoopen-mpi:masterfrom
jsquyres:pr/config-dot-what

Commits

Commits on Jan 26, 2021

Commits on Jan 27, 2021