mpi: Prevent parallel halo exchanges#2972

FabioLuporini merged 1 commit into

maindevitocodes/devito:mainfrom

hotfix-halo-exchangedevitocodes/devito:hotfix-halo-exchangeCopy head branch name to clipboard