diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2021-10-23 05:28:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-23 05:28:20 +0200 |
| commit | df430624b6274f06800f7323a2702b661cee0a84 (patch) | |
| tree | 2c722aac32ca34f489a3cfa10a2fbebb10a5337c /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 5ea02745637be7c4c0c8ba46407bbfca3b66edcc (diff) | |
| parent | 2ed566559b5114848a6750971bcc0169a227b975 (diff) | |
| download | rust-df430624b6274f06800f7323a2702b661cee0a84.tar.gz rust-df430624b6274f06800f7323a2702b661cee0a84.zip | |
Rollup merge of #88300 - ijackson:exitstatusext-methods, r=yaahc
Stabilise unix_process_wait_more, extra ExitStatusExt methods This stabilises the feature `unix_process_wait_more`. Tracking issue #80695, FCP needed. This was implemented in #79982 and merged in January.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions