diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-05-11 20:01:39 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-05-11 20:01:39 +0100 |
commit | da80dfc0226af546244dacf3fbfdbb2b7136539a (patch) | |
tree | d1c337ce069d3016a630fb48684a5410730f7d86 /.github | |
parent | e290891dd75f2ae2d156e8610fd037a84c1b853f (diff) | |
parent | 11c926fd97d5efb61a771455fc233afe33939569 (diff) |
Merge #8398
8398: Fix inference with conditionally compiled tails r=flodiebold a=DJMcNab
Fixes #8378
Co-authored-by: Daniel McNab <[email protected]>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions