[Commits] [wesnoth/wesnoth] 8447eb: sever external pointer links in game_events::pump

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: 8447ebbb88c480301624a33dd1789a533dd0150e
      https://github.com/wesnoth/wesnoth/commit/8447ebbb88c480301624a33dd1789a533dd0150e
  Author: Chris Beck <render787 at gmail.com>
  Date:   2014-12-15 (Mon, 15 Dec 2014)

  Changed paths:
    M src/game_events/manager.cpp
    M src/game_events/manager.hpp
    M src/game_events/pump.cpp
    M src/game_events/pump.hpp
    M src/play_controller.cpp
    M src/replay_controller.cpp

  Log Message:
  -----------
  sever external pointer links in game_events::pump