Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
config-mpi: Switch more settings to M
After the last commit, a few settings are no longer required to be static, so set them to M.
- Loading branch information