OpenRA/OpenRA — pull request #3938 by Mailaender (2013-10-14 19:41:27+00:00)
Title: Added a Game ID and print it to syncreport.log

together with the player name for easier comparison.

As discussed in #2570.

Ripped from #2854.