chiark / gitweb /
Make Series.refresh_patch automatically save the undo information