[Commits] [wesnoth/wesnoth] 3d7e60: Even more fixup

[GitHub]

  Branch: refs/heads/gui_renaming
  Home:   https://github.com/wesnoth/wesnoth
  Commit: 3d7e60ae14ffd8954bb569b71bfcaedb25f10654
      https://github.com/wesnoth/wesnoth/commit/3d7e60ae14ffd8954bb569b71bfcaedb25f10654
  Author: Charles Dang <exodia339 at gmail.com>
  Date:   2016-11-10 (Thu, 10 Nov 2016)

  Changed paths:
    M src/play_controller.cpp

  Log Message:
  -----------
  Even more fixup