Revert "Merge branch 'master' of https://github.com/wesnoth/wesnoth-old"

This reverts commit 2c201a162639b54f58e441f53edec4198edfc7d3, reversing
changes made to 76b9976b75842519acdd9150dd9b6463cb91aec8.

I accidentally merged a topic branch into master, I am attempting to go back
to the merge PR 94 status of master just previous to my accidental commit.