[Commits] [wesnoth/wesnoth] d4cead: fix bug in [wml_message] which caused wml errors n...

[GitHub]

  Branch: refs/heads/1.12
  Home:   https://github.com/wesnoth/wesnoth
  Commit: d4cead0d8775f8ebcc68d62209523f6b14b00217
      https://github.com/wesnoth/wesnoth/commit/d4cead0d8775f8ebcc68d62209523f6b14b00217
  Author: Chris Beck <render787 at gmail.com>
  Date:   2014-05-27 (Tue, 27 May 2014)

  Changed paths:
    M src/game_events/pump.cpp

  Log Message:
  -----------
  fix bug in [wml_message] which caused wml errors not to be flushed