widelands

Merge proposals dependent on lp://staging/~widelands-dev/widelands/bug-1776008-boost-deleted-uuid-function

  1. bug-1776008-boost-deleted-uuid-function
  2. Dependent merge proposals

lp://staging/~widelands-dev/widelands/bug-1776008-boost-deleted-uuid-function has no merge proposals.