diff options
| author | coqbot-app[bot] | 2021-04-18 14:13:11 +0000 |
|---|---|---|
| committer | GitHub | 2021-04-18 14:13:11 +0000 |
| commit | 469e594d276b55c3419b5c56d110adf675f571dc (patch) | |
| tree | 9421ccc4e72e52905f6e374d81f2b93d249b0195 /dev/ci | |
| parent | f337187f0ac4c2062031225234fd23b436b979b5 (diff) | |
| parent | ad380aca8cad3329c9a3db4b65b933b1179ed6a2 (diff) | |
Merge PR #14112: Cleanup useless environment manipulation in Class declaration
Reviewed-by: ejgallego
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions