Skip to content
GitLab
Commit 3ae96247 authored by Kenneth Hoste's avatar Kenneth Hoste Committed by GitHub
Browse files

Merge pull request #4150 from geimer/fix_openmpi_sources 

{mpi}[GCC/6.3.0-2.27] OpenMPI: Remove duplicate sources specification
parents 03d0b624 485e0582
Hide whitespace changes
Inline Side-by-side
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment