diff options
| author | Björn Gustavsson <[email protected]> | 2018-06-07 13:29:47 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2018-06-07 13:29:47 +0200 |
| commit | 890936f03991e7b57d7801497a2de5a572b701de (patch) | |
| tree | 1fab410b660842dcdcde6af7adde2fca21626677 /lib/tools | |
| parent | 463c8e7fa08388f138fd9f07995d7c7a7580507e (diff) | |
| parent | 84d0923cc193e0fb06c21ecdfd08d5b204015628 (diff) | |
| download | otp-890936f03991e7b57d7801497a2de5a572b701de.tar.gz otp-890936f03991e7b57d7801497a2de5a572b701de.tar.bz2 otp-890936f03991e7b57d7801497a2de5a572b701de.zip | |
Merge pull request #1832 from josevalim/jv-revert-beam-jump
Revert "Run the sharing optimisation in beam_jump until fixpoint"
Diffstat (limited to 'lib/tools')
0 files changed, 0 insertions, 0 deletions