[wesnoth-commits] [wesnoth/wesnoth] a7fe1f: Fix for getting the addon versions with --report.

[Pentarctagon]

  Branch: refs/heads/1.14
  Home:   https://github.com/wesnoth/wesnoth
  Commit: a7fe1feb10311f3f2649a324e1ed8447446c2d39
      https://github.com/wesnoth/wesnoth/commit/a7fe1feb10311f3f2649a324e1ed8447446c2d39
  Author: Pentarctagon <pentarctagon at tutamail.com>
  Date:   2020-06-12 (Fri, 12 Jun 2020)

  Changed paths:
    M src/addon/manager.cpp
    M src/addon/manager.hpp
    M src/build_info.cpp
    M src/game_config_manager.cpp
    M src/game_config_manager.hpp

  Log Message:
  -----------
  Fix for getting the addon versions with --report.