diff options
| author | coqbot-app[bot] | 2021-01-11 13:55:52 +0000 |
|---|---|---|
| committer | GitHub | 2021-01-11 13:55:52 +0000 |
| commit | 76de13a9ce03f542bca74dabee28bf27d9d8ac4f (patch) | |
| tree | 3907a1e6ec066f62871dcadc7a1350fa20173ee1 /dev/ci | |
| parent | ffb482f0c18bff2c65dcc9cd2b65bd20b398245d (diff) | |
| parent | 5c69eb442ac6b007854462066c38c3ec2556e311 (diff) | |
Merge PR #13622: Use the Evarutil cache for Class_tactics.evar_dependencies.
Reviewed-by: SkySkimmer
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions