[wesnoth-commits] [wesnoth/wesnoth] 0d1571: MP Lobby: used "not installed" instead of "missing...

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: 0d1571a0b2df0b4ae11708e3a92e7c1af2aa44df
      https://github.com/wesnoth/wesnoth/commit/0d1571a0b2df0b4ae11708e3a92e7c1af2aa44df
  Author: Charles Dang <exodia339 at gmail.com>
  Date:   2018-05-13 (Sun, 13 May 2018)

  Changed paths:
    M src/gui/dialogs/multiplayer/lobby.cpp

  Log Message:
  -----------
  MP Lobby: used "not installed" instead of "missing"



      **NOTE:** This service been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/

      Functionality will be removed from GitHub.com on January 31st, 2019.