clarify Pmap_raw comment (!229) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Ralf Jung requested to merge ralf/pmap into master 4 years ago

All threads resolved!

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

Activity

Robbert Krebbers @robbertkrebbers started a thread on an old version of the diff 4 years ago

Resolved 4 years ago by Ralf Jung
Last reply by Ralf Jung 4 years ago

Ralf Jung added 1 commit 4 years ago

added 1 commit

5703969d - clarify Pmap_raw comment

Compare with previous version

Ralf Jung resolved all threads 4 years ago

resolved all threads

Robbert Krebbers mentioned in commit 4 years ago

mentioned in commit 2973e41b

Robbert Krebbers merged 4 years ago

merged

Robbert Krebbers @robbertkrebbers 4 years ago

Owner

Thanks!

Please register or sign in to reply