diff options
| author | Pierre-Marie Pédrot | 2020-09-08 10:36:42 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-09-08 10:36:42 +0200 |
| commit | edb2cefe61d5f5b3230ab33842e61423ca02fbdb (patch) | |
| tree | 51c6f669f233bee29f7371d97e353f4dab87472a /kernel | |
| parent | b972cc5195e941633319c1fa428a9801ac4ef9e2 (diff) | |
| parent | 5a417e9e25713e65bbe5f2a9c8fccef4d17bc4a6 (diff) | |
Merge PR #12987: Fix printing of `change` tactic
Reviewed-by: ppedrot
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions