diff options
| author | Dario Nieuwenhuis <[email protected]> | 2025-07-09 01:18:47 +0200 |
|---|---|---|
| committer | diondokter <[email protected]> | 2025-08-29 13:22:59 +0200 |
| commit | 34ff67cdbf25e278ff99bd4a05b6b8c6a30fa5d1 (patch) | |
| tree | ba211d244ddd820f9f3e9e7c7f9eb32033fb6221 /examples/rp/src/bin/sharing.rs | |
| parent | da9cdf0c536ec4fa7bdfb649750c44f70ef1cd55 (diff) | |
executor: do not deref a mut ptr to the entire taskheader.
Diffstat (limited to 'examples/rp/src/bin/sharing.rs')
0 files changed, 0 insertions, 0 deletions