[Commits] [wesnoth/wesnoth] 5790e3: More fixup

[GitHub]

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

  Changed paths:
    M src/play_controller.hpp

  Log Message:
  -----------
  More fixup