Fix race condition in worksheet output#5552

Merged

smarter merged 2 commits intoscala:masterfrom

dotty-staging:fix/worksheet-race-condition

Dec 4, 2018

Commits on Dec 3, 2018

Fix race condition in worksheet output

Duhemm
authored and
smarter
committed
Always run the worksheet after all changes have been applied
smarter
committed