Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merge pull request #10096 from gasche/fix-oo-caching-problem (commit: 3e3d7f9) (details)
Commit 3e3d7f9681e7b8fb49c184f62dc54ef8ffb28c76 by gabriel.scherer
Merge pull request #10096 from gasche/fix-oo-caching-problem

fix a caching problem in OO code causing a 4.11 performance regression

(cherry picked from commit 9f53c6b71af2ad75de0dd9799037a0259bd4b12d)
 (commit: 3e3d7f9)
The file was modifiedlambda/translcore.ml (diff)
The file was modifiedChanges (diff)