Commit 05c17787c4fc5283925920b546952ccca0ba4a00

Behdad Esfahbod 2021-07-12T16:55:08

[buffer] Rewind cursor in clear_output()