core 112.06.00
Merge pull request #3223 from janestreet/core-112.06.00

core 112.06.00 final