[Commits] [wesnoth/wesnoth] 374692: wmlunits: Handle TypeError on int_fallback() (in p...

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: 3746925eab002a6893182e3414162a59211ba835
      https://github.com/wesnoth/wesnoth/commit/3746925eab002a6893182e3414162a59211ba835
  Author: Ignacio R. Morelle <shadowm at wesnoth.org>
  Date:   2017-08-12 (Sat, 12 Aug 2017)

  Changed paths:
    M data/tools/unit_tree/html_output.py

  Log Message:
  -----------
  wmlunits: Handle TypeError on int_fallback() (in particular to deal with None)