Appends "done!" to the watch output when the type check is complete#596

Merged

soutaro merged 1 commit intosoutaro:masterfrom phendrick:psh/watch-type-checking-message

Jul 5, 2022