A bit of cleanup and simplification for undofile.
5 files changed