diff options
| author | Dario Nieuwenhuis <[email protected]> | 2021-04-14 18:18:00 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-04-14 18:18:00 +0200 |
| commit | bac53e3e55e84fc2f3c1b4be8cf20d0e5f25ca22 (patch) | |
| tree | b9d91d5921d67cf60fabb47d83cb7aa5333e311d /.github | |
| parent | b34b74de9de38e4bee9a4c8d95246bf9d138f86f (diff) | |
| parent | 5ee87cf25d5bda026644ffe50755f25ae92f20db (diff) | |
Merge pull request #141 from embassy-rs/no-pin
Remove Pin
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions