diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-21 19:05:11 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-21 19:05:11 +0000 |
| commit | 16614919c0b9c7f398f773afc7bde091a05608a6 (patch) | |
| tree | e6a8bdd9d59933c688fac3c86f429e67bb81f66a /book/en/src/internals/timer-queue.md | |
| parent | eb528ef921c1d30d03b533b788a3af302bffb1f9 (diff) | |
| parent | 0fb2726e6ce4d1a0500c76839efd0dab77050607 (diff) | |
Merge #193
193: remove unused check r=japaric a=japaric
that was added in #140 but it's no longer required
this PR also adds some cfail tests to test the updated code
Co-authored-by: Jorge Aparicio <jorge@japaric.io>
Diffstat (limited to 'book/en/src/internals/timer-queue.md')
0 files changed, 0 insertions, 0 deletions