Skip to content

clarify Pmap_raw comment

Ralf Jung requested to merge ralf/pmap into master

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

Merge request reports