[wesnoth-commits] [wesnoth/wesnoth] 09131c: This should be optional.

[Pentarctagon]

  Branch: refs/heads/1.16
  Home:   https://github.com/wesnoth/wesnoth
  Commit: 09131c8695ddd7551e462c907e0a42fd25119531
      https://github.com/wesnoth/wesnoth/commit/09131c8695ddd7551e462c907e0a42fd25119531
  Author: Pentarctagon <pentarctagon at tutamail.com>
  Date:   2022-01-20 (Thu, 20 Jan 2022)

  Changed paths:
    M CMakeLists.txt

  Log Message:
  -----------
  This should be optional.