Vladimir's last_patch13, containing several bugfixes.
7 files changed