[wesnoth-commits] [wesnoth/wesnoth] ba87c4: wmllint: cherry-picked amendment tag handling from...

[Elvish_Hunter]

  Branch: refs/heads/1.14
  Home:   https://github.com/wesnoth/wesnoth
  Commit: ba87c46a5dfe37e8e10b3ae00707abcb34505079
      https://github.com/wesnoth/wesnoth/commit/ba87c46a5dfe37e8e10b3ae00707abcb34505079
  Author: Elvish_Hunter <elvish.hunter2010 at gmail.com>
  Date:   2020-07-25 (Sat, 25 Jul 2020)

  Changed paths:
    M data/tools/wmllint

  Log Message:
  -----------
  wmllint: cherry-picked amendment tag handling from master