core 112.06.01
Merge pull request #3237 from janestreet/core-112.06.01

core 112.06.01