diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-06-09 01:40:45 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-06-09 01:40:45 +0000 |
| commit | 479ccf17df01e9ec6095bb228b198b628697987c (patch) | |
| tree | 1a0e328f15e39087f43455b563cb3898ecb9bc6b /.github | |
| parent | c0331cdf8927c0416622088e1f29d458c5e3819a (diff) | |
| parent | d46b2b49c7941afed6578556dd2d6d98d072cbbb (diff) | |
Merge pull request #1545 from embassy-rs/fixes4
Dumb fixes.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions