diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-05-21 18:33:14 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-21 18:33:14 -0500 |
commit | 863f229f992cbe02a64889675fc31950e0fe2859 (patch) | |
tree | 82c9c2b0bccc9db19d5c46f5857c9a712b21fac4 /.mailmap | |
parent | 2c78f3bf696e7eb4b04f687e15b9569b9e1b8f23 (diff) |
Disable re-elim by default (#4508)
Disabling re-elim performs better overall in many recent experiments.
Diffstat (limited to '.mailmap')
0 files changed, 0 insertions, 0 deletions