Freeciv

I have corrected #747319. Now we retry with a bigger buffer. There is still a max decompression to prevent a zip bomb.

See https://github.com/freeciv/freeciv/pull/10

Please read doc/CodingStyle. Use spaces instead of tabs and correct the indentation in general.

The commit messages should list also who reported the issue, and who made the patch if different from the commit author. See existing git logs for examples of commit messages.

I have corrected the indentation (sorry about the tabs). The correction commit follows what seems to be custom in other commits (i.e. referencing the hrm in the end of the message). The hrm provides info on who reported the issue, and the git commit about who did the correction. All is in the pull request.

Sim Sulla wrote:

The hrm provides info on who reported the issue

The main reason we've been adding them directly to commit messages is to make it easier for Release Manager to collect them for credits in PEOPLE. There's thousands of commits between major versions, so clicking and reading through all the tickets for figuring out the reporters would make already big task enormous. Also, as demonstrated by the loss of ticket trackers in the past, information in the tickets is not as permanent as in commit messages.
Reporter or patch author doesn't need to be specified if it's the person making the commit (= the default is that committer has done both of those actions)