Mark flush issue as fixed#563

jmid merged 1 commit into

mainocaml-multicore/multicoretests:mainfrom

flush-issue-fixedocaml-multicore/multicoretests:flush-issue-fixedCopy head branch name to clipboard