diff options
| author | bunnei <bunneidev@gmail.com> | 2021-12-19 02:09:53 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-19 02:09:53 -0800 |
| commit | eb4ea7e5c7964c690066af450ba9c14147d4f0ae (patch) | |
| tree | 1dbed755682f825426ea17270a0af9a15ef12161 /.ci/scripts/linux/exec.sh | |
| parent | 8e33cf1c2bd1e15e33d94524835ba1d39c138afd (diff) | |
| parent | 55650c5b756d81054669974a3098aff3114309c0 (diff) | |
Merge pull request #7603 from ameerj/here-we-go-again
kernel: Manually destroy the current process during shut down
Diffstat (limited to '.ci/scripts/linux/exec.sh')
0 files changed, 0 insertions, 0 deletions