diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2022-04-20 11:35:08 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-20 11:35:08 +0000 |
| commit | d1aa20643d39d033d43e4ab919c4a83601388c53 (patch) | |
| tree | 42fe0077801e832320d23322f2259332e6d88d1f /ci/expected/pool.run | |
| parent | 87074180034fb682f3945b1391b09060c7058424 (diff) | |
| parent | 0f8bdbdd3f2739e37d788493cb83cf2d9c557f4e (diff) | |
Merge #635
635: Masks take 3 r=AfoHT a=korken89
This solves the `MASKS` generation issue by having `rtic::export` do the feature gating.
Co-authored-by: Emil Fresk <emil.fresk@gmail.com>
Diffstat (limited to 'ci/expected/pool.run')
0 files changed, 0 insertions, 0 deletions