diff options
| author | Maxime Dénès | 2019-10-02 01:13:04 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2019-10-02 01:13:04 +0200 |
| commit | 397fa7d34e100213855df7f3aa05ce4d497724e1 (patch) | |
| tree | 44e0a071b3b48e62fcd76ae648226711fa5173a0 /kernel | |
| parent | 77fd11a9f012a2878e13451e9d8a9f500c6392eb (diff) | |
| parent | 336466ddd256dea9ef0dd9a009433a35534601a9 (diff) | |
Merge PR #10805: Remove spurious uses of CoInductive in SSR prerequisite.
Reviewed-by: maximedenes
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions