Skip to content
GitLab
Explore
Sign in
[bugfix] Use correct MPI type
Code
Review changes
Check out branch
Download
Patches
Plain diff
Dominic Kempf
requested to merge
bugfix/address-sanitizer
into
master
May 22, 2019
Overview
0
Commits
1
Pipelines
0
Changes
1
Expand
This was revealed by the address sanitizer when debugging an unrelated issue.
Merge request reports
Loading