diff options
| author | Johannes Cornelis Draaijer <johannes.draaijer@kiteshield.com> | 2025-09-03 14:30:44 +0200 |
|---|---|---|
| committer | Henrik Tjäder <henrik@tjaders.com> | 2025-09-17 19:40:38 +0200 |
| commit | 2cfe1e062ea6a74a68f5253c428ea89d0dc54e2e (patch) | |
| tree | 7c612f6a6843a02c2f946bc90482f449d8532fdc /.github/workflows/properties/build.properties.json | |
| parent | c94dfcdd86574292748ef809c884f65c92e6cad2 (diff) | |
rtic-sync: add explicitly elided lifetimes to Signal::split
Diffstat (limited to '.github/workflows/properties/build.properties.json')
0 files changed, 0 insertions, 0 deletions