sorry for the long silence. My real life got my a bit sidetracked for a
while. At First: Jens, thanks for jumping in with the non GGZ branch.
Martin, do you have all you need for the moment? The latest commits in
Jens Patch reversed should remove GGZ from widelands.
As for the political situation: I suggest naming the package
build16-without-ggz or some appropriate debian approved variation of
that and keep shipping widelands with debian. As you will note I changed
my mind on this; I now approve continuing shipping widelands with
debian. We will have a solution for build 17 that will replace GGZ and
hope that things can then get back to normal again.
I will comment on the technical issues of this topic in another email.