Skip to content
Snippets Groups Projects
Markus Blatt's avatar
Markus Blatt authored
Somehow MPI was never activated for the headercheck. This patch fixes this.
fbfa416b
History
Name Last commit Last update