diff options
| author | coqbot-app[bot] | 2021-01-20 18:46:31 +0000 |
|---|---|---|
| committer | GitHub | 2021-01-20 18:46:31 +0000 |
| commit | ea966282416e1c62d095542129ab03e3632df898 (patch) | |
| tree | 5efe67e126f6bc74957c2f8a1afc6b63bfb1b373 /dev | |
| parent | 471fc4035adec0e96957aaddbd7fd3034539dc22 (diff) | |
| parent | a47e7822338bf0d2ab21c1f9a3b8bfef7a9b50b4 (diff) | |
Merge PR #13721: Remove strong reduction wrappers
Reviewed-by: mattam82
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions