core 112.01.01
Merge pull request #2927 from janestreet/core-112.01.01

core 112.01.01