Revert "Merge remote-tracking branch 'mercury/patch-openmp' into develop"
This reverts commit 026057ed, reversing changes made to 0cf955ec.
Showing
This reverts commit 026057ed, reversing changes made to 0cf955ec.
mentioned in commit b9961967
·mentioned in commit b9961967