[Warzone2100-commits] [Warzone2100/warzone2100] 07c4fd: Fix derrick assignment in Melting

2019-10-10 Thread Topi Miettinen
Branch: refs/heads/master Home: https://github.com/Warzone2100/warzone2100 Commit: 07c4fdc24cfe85c5649048a2247a8ccdec796dd3 https://github.com/Warzone2100/warzone2100/commit/07c4fdc24cfe85c5649048a2247a8ccdec796dd3 Author: Topi Miettinen Date: 2019-10-10 (Thu, 10 Oct 2019)

[Warzone2100-commits] [Warzone2100/warzone2100] 52cd41: [Travis CI] Attempt to fix Fedora build failures

2019-10-10 Thread past-due
Branch: refs/heads/master Home: https://github.com/Warzone2100/warzone2100 Commit: 52cd418bb2ff3659a698d84792645bd34f44adcc https://github.com/Warzone2100/warzone2100/commit/52cd418bb2ff3659a698d84792645bd34f44adcc Author: past-due <30942300+past-...@users.noreply.github.com> Dat

[Warzone2100-commits] [Warzone2100/warzone2100] 905cc6: Let user change most options during the game play

2019-10-10 Thread Topi Miettinen
Branch: refs/heads/master Home: https://github.com/Warzone2100/warzone2100 Commit: 905cc6ff2f659d6118ce13285f2ddd341a17c6cf https://github.com/Warzone2100/warzone2100/commit/905cc6ff2f659d6118ce13285f2ddd341a17c6cf Author: Topi Miettinen Date: 2019-10-10 (Thu, 10 Oct 2019)