Skip to content

[bugfix] Use correct MPI type

Dominic Kempf requested to merge bugfix/address-sanitizer into master

This was revealed by the address sanitizer when debugging an unrelated issue.

Merge request reports

Loading