Use wrappers rather than raw pid (!1015) · Merge requests · redox-os / ion · GitLab

Snippets Groups Projects

Merged AdminXVII requested to merge AdminXVII/ion:more-wrappers into master 5 years ago

Activity

Michael Aaron Murphy enabled an automatic merge when the pipeline for 0dde08b9 succeeds 5 years ago

enabled an automatic merge when the pipeline for 0dde08b9 succeeds
Michael Aaron Murphy merged 5 years ago

merged
Michael Aaron Murphy mentioned in commit a93375bd 5 years ago

mentioned in commit a93375bd

Please register or sign in to reply