diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-11-09 09:52:28 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-09 09:52:28 +0000 |
| commit | 4f3c5baf49bde675dfa8faf6e5311d38cbb5d654 (patch) | |
| tree | 3d840e773b7cec222d953165390c27fd479f3b21 /ui/unknown-interrupt.rs | |
| parent | ae034aec14bf44e83e2720c81b98031d38992133 (diff) | |
| parent | fb092aa65a6a7935828fbf6dcb7d3e89f0355a83 (diff) | |
Merge #549
549: fix #543 r=korken89 a=andrewgazelka
The remaining PR to fix #543 alongside https://github.com/rtic-rs/rtic-syntax/pull/58
Co-authored-by: Andrew Gazelka <andrew.gazelka@gmail.com>
Diffstat (limited to 'ui/unknown-interrupt.rs')
0 files changed, 0 insertions, 0 deletions