Lin renames#207

shym wants to merge 2 commits intoocaml-multicore:mainocaml-multicore/multicoretests:mainfrom

shym:lin-renamesshym/multicoretests:lin-renamesCopy head branch name to clipboard