[wesnoth-commits] [wesnoth/wesnoth] 8c103a: Fix unused parameter warning

[Gunter Labes]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: 8c103a90186493dcb98dd45700e9ca9b71c90478
      https://github.com/wesnoth/wesnoth/commit/8c103a90186493dcb98dd45700e9ca9b71c90478
  Author: Gunter Labes <soliton at wesnoth.org>
  Date:   2020-09-04 (Fri, 04 Sep 2020)

  Changed paths:
    M src/scripting/push_check.hpp

  Log Message:
  -----------
  Fix unused parameter warning