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.