diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2022-05-06 23:54:07 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2022-05-06 23:54:07 +0000 |
| commit | a4bf190f2f0ce28a298626de6de1c8059269cedc (patch) | |
| tree | fa773719cb35c57657f5bb147810bffde82f757f /ci.sh | |
| parent | 7e774ff8300cb4df6c561f99f1c33485256155e6 (diff) | |
| parent | 931a137f8c5a760c2e06c437c98d14eff3e3a587 (diff) | |
Merge #752
752: Replace embassy::io with embedded_io. r=Dirbaio a=Dirbaio
TODO:
- [x] Release embedded-io on crates.io
- [x] Remove git dep
Co-authored-by: Dario Nieuwenhuis <[email protected]>
Diffstat (limited to 'ci.sh')
0 files changed, 0 insertions, 0 deletions