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 /bootstrap | |
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 'bootstrap')
0 files changed, 0 insertions, 0 deletions