Skip to content
GitLab

clarify Pmap_raw comment

Merged Ralf Jung requested to merge ralf/pmap into master

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