Ensure a trickle of output ephemeral buffer data is flushed regularly#292

johnstairs merged 1 commit intomainmicrosoft/tyger:mainfrom

johnstairs/ephemeral-buffer-tricklemicrosoft/tyger:johnstairs/ephemeral-buffer-trickleCopy head branch name to clipboard