core 109.15.01
Merge pull request #566 from janestreet/master

minor release of core