Commit 9fcba109bf62aaff3dd8469ecb387e7451031a76

Behdad Esfahbod 2020-06-28T20:30:39

[buffer] Make swap_buffers() copy rest