[Commits] [wesnoth/wesnoth] 5fb810: Fixup 1208dfc2cf4d77

[GitHub]

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

  Changed paths:
    M src/play_controller.hpp

  Log Message:
  -----------
  Fixup 1208dfc2cf4d77