Tags: patch I dug deeper, turns out I was wrong, the 2 crashes when renaming or deleting saves weren't related after all.
Anyway, I made a patch fixing both of them. Note that it's meant to be applied _after_ my python3fix.patch for bug #1001823.
savesfix.patch.gz
Description: application/gzip
