-
Stefan Monnier authored
Replace it with another one which disables undo before calling erase-buffer and then turns it back on if needed.
405b8717
Replace it with another one which disables undo before calling erase-buffer and then turns it back on if needed.