[Commits] [wesnoth/wesnoth] 7bdb41: ignore [allow_undo] in wml menu handlers since it ...

[GitHub]

  Branch: refs/heads/gfgtdf-patch-2
  Home:   https://github.com/wesnoth/wesnoth
  Commit: 7bdb417cf264f60d71ff17ed27354841b6e1b4ec
      https://github.com/wesnoth/wesnoth/commit/7bdb417cf264f60d71ff17ed27354841b6e1b4ec
  Author: gfgtdf <tischpapier at gmail.com>
  Date:   2015-09-26 (Sat, 26 Sep 2015)

  Changed paths:
    M src/synced_commands.cpp

  Log Message:
  -----------
  ignore [allow_undo] in wml menu handlers since it casues OOS

https://gna.org/bugs/?23903