diff options
| author | Dario Nieuwenhuis <[email protected]> | 2021-07-13 03:41:17 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-07-13 03:41:17 +0200 |
| commit | b8e23bc74e59b53695d0ed0141b1e31a755ea032 (patch) | |
| tree | f49104dbd90152253e916cdf616c66f70c367046 /.github/workflows | |
| parent | 40bc67bee04256a13267bf19e4ba8b93509fa8cb (diff) | |
| parent | c210a6efd1f77c4dd6c5df7b31e49c771ceb0cff (diff) | |
Merge pull request #286 from embassy-rs/time-feature
Make embassy::time optional
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions