diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-06-04 16:15:27 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-06-04 16:15:27 +0200 |
| commit | f9e94fdcf74af274cb85be594ccfd353a63b048a (patch) | |
| tree | 4e878e24bae03a166d6b5c2f7f8a1c6f671983ef /tactics | |
| parent | 0a829c6ac232b0ea786716709b0d01c707548089 (diff) | |
| parent | 5e310fc0456bc5123ab5aef255d61dde6ee8f4d7 (diff) | |
Merge PR #7418: Actually take advantage of the normalization status of kernel closures.
Diffstat (limited to 'tactics')
0 files changed, 0 insertions, 0 deletions