diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2018-12-15 21:17:14 +0100 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2018-12-15 21:17:14 +0100 |
| commit | e03c09874fd557126d8ae3d21e5b90681d358ef0 (patch) | |
| tree | 69488293ab75c55308991c10ea40efaf61b891e1 /examples/interrupt.rs | |
| parent | d14e25d72d7b182d305c0f9ee80294c697c42dee (diff) | |
ci: switch to an older nightly
to work around rust-lang/rust#56814
Diffstat (limited to 'examples/interrupt.rs')
0 files changed, 0 insertions, 0 deletions