diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2020-09-08 10:43:52 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2020-09-08 10:43:52 +0200 |
| commit | f64ddc60a504a7dfee41fec477dd678d54d19b22 (patch) | |
| tree | 38c32391581d4ebf0c9f203ff54797e93d1f53e3 /library/alloc/src/task.rs | |
| parent | e82584a77d019bd5ee4254b5870270b1493763a6 (diff) | |
triagebot: enable github releases synchronization
Diffstat (limited to 'library/alloc/src/task.rs')
0 files changed, 0 insertions, 0 deletions