diff options
| author | Pierre-Marie Pédrot | 2020-09-08 10:37:24 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-09-08 10:37:24 +0200 |
| commit | dde607ce50ddcf5f965d4ce222ca50f4d169a2f3 (patch) | |
| tree | 7f1eb9b6d5af851e776b0a6eb7594eb8b8910c00 /kernel | |
| parent | edb2cefe61d5f5b3230ab33842e61423ca02fbdb (diff) | |
| parent | e5890700b4574ee9207b2daf6ec95707b9290275 (diff) | |
Merge PR #12954: Fixes a freshness issue with destruct/induction (see comment in #12944).
Ack-by: RalfJung
Ack-by: jashug
Reviewed-by: ppedrot
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions