diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-05-29 20:56:13 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-05-29 20:56:13 +0000 |
| commit | 3760bdbb1b7b8d8aa8f59befdc31fbf9e09aaa5a (patch) | |
| tree | 3210c110fee1416ee5555defca6d107d1699099f /.github | |
| parent | 08753f74ae816faddc6b810a75e6257c54f5cade (diff) | |
| parent | 42a5b14724ffc9efe3a011fb5a23d77b66af3a1a (diff) | |
Merge pull request #1507 from embassy-rs/ci-fixes
Remove unneeded default-features=false.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions