[Commits] [wesnoth/wesnoth] 9eb28e: Simplify a few custom type traits

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: 9eb28eb70d146bfa2e002b2eec539e8d5908b03a
      https://github.com/wesnoth/wesnoth/commit/9eb28eb70d146bfa2e002b2eec539e8d5908b03a
  Author: Charles Dang <exodia339 at gmail.com>
  Date:   2017-05-16 (Tue, 16 May 2017)

  Changed paths:
    M src/scripting/push_check.hpp

  Log Message:
  -----------
  Simplify a few custom type traits