diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-09 19:44:20 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-09 19:44:20 +0000 |
| commit | 3b68816a75366a0fc2918c68e2a05c68283801f2 (patch) | |
| tree | 89846f5e26642557b7832005861d0842ab03bfd2 /book/en/src/by-example/timer-queue.md | |
| parent | 2596ea0e46bec73d090d9e51d41e6c2f481b8e15 (diff) | |
| parent | 36073a63426e0955aaa3e0745a3b4e29aeb076e3 (diff) | |
Merge #191
191: generate resource proxies only when needed r=japaric a=japaric
only `static mut` resources need proxies
just a codegen optimization
Co-authored-by: Jorge Aparicio <jorge@japaric.io>
Diffstat (limited to 'book/en/src/by-example/timer-queue.md')
0 files changed, 0 insertions, 0 deletions