Skip to content

clarify Pmap_raw comment

Ralf Jungrequested to merge
ralf/pmap into master

Making this an MR so @robbertkrebbers can check if it makes sense.

Merge request reports